@prefix rdf:	<http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix dbpedia:	<http://dbpedia.org/resource/> .
@prefix ns2:	<http://dbpedia.org/class/yago/> .
dbpedia:Categorical_set_theory	rdf:type	ns2:FormalMethods .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbpedia:Categorical_set_theory	owl:sameAs	<http://rdf.freebase.com/ns/guid.9202a8c04000641f8000000000a37087> .
@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
@prefix ns5:	<http://en.wikipedia.org/wiki/> .
dbpedia:Categorical_set_theory	foaf:page	ns5:Categorical_set_theory .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
dbpedia:Categorical_set_theory	rdfs:label	"Categorical set theory"@en .
@prefix dbpprop:	<http://dbpedia.org/property/> .
dbpedia:Categorical_set_theory	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."@en ;
	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."@en .
@prefix skos:	<http://www.w3.org/2004/02/skos/core#> .
@prefix ns9:	<http://dbpedia.org/resource/Category:> .
dbpedia:Categorical_set_theory	skos:subject	ns9:Mathematical_logic ,
		ns9:Formal_methods ,
		ns9:Set_theory ,
		ns9:Category_theory .
@prefix ns10:	<http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/> .
dbpedia:Categorical_set_theory	dbpprop:hasPhotoCollection	ns10:Categorical_set_theory .
@prefix yago:	<http://mpii.de/yago/resource/> .
yago:Categorical_set_theory	owl:sameAs	dbpedia:Categorical_set_theory .