About: Categorical set theory

Categorical set theory is any one of several versions of set theory developed from or treated in the context of mathematical category theory.

Property	Value
dbpprop:abstract	Categorical set theory is any one of several versions of set theory developed from or treated in the context of mathematical category theory.
dbpprop:hasPhotoCollection	http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/Categorical_set_theory
rdf:type	http://dbpedia.org/class/yago/FormalMethods
rdfs:comment	Categorical set theory is any one of several versions of set theory developed from or treated in the context of mathematical category theory.
rdfs:label	Categorical set theory
owl:sameAs	freebase:Categorical set theory
skos:subject	dbpedia:Category:Formal_methods dbpedia:Category:Set_theory dbpedia:Category:Category_theory dbpedia:Category:Mathematical_logic
foaf:page	http://en.wikipedia.org/wiki/Categorical_set_theory
is owl:sameAs of	yago:Categorical set theory