@prefix skos:	<http://www.w3.org/2004/02/skos/core#> .
@prefix dbpedia:	<http://dbpedia.org/resource/> .
@prefix ns2:	<http://dbpedia.org/resource/Category:> .
dbpedia:Categorical_logic	skos:subject	ns2:Categorical_logic .
@prefix rdf:	<http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
ns2:Categorical_logic	rdf:type	skos:Concept .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
ns2:Categorical_logic	rdfs:label	"Categorical logic"@en ;
	skos:prefLabel	"Categorical logic"@en ;
	skos:broader	ns2:Category_theory ,
		ns2:Mathematical_logic ,
		ns2:Logic_in_computer_science .
ns2:Topos_theory	skos:broader	ns2:Categorical_logic .
dbpedia:Higher-dimensional_algebra	skos:subject	ns2:Categorical_logic .
dbpedia:Lawvere_theory	skos:subject	ns2:Categorical_logic .