Categorical set theory

CaLiGraph

Property	Value
rdf:type	owl:NamedIndividual Formal method
rdfs:label	Categorical set theory
owl:sameAs	dbr:Categorical_set_theory
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Formal_methods
skos:prefLabel	Categorical set theory
skos:altLabel	set theory
is clgo:knownFor of	Ieke Moerdijk

About: clgr:Categorical_set_theory