About: Categorical logic

Property	Value
rdf:type	skos:Concept
rdfs:label	Categorical logic
skos:broader	dbpedia:Category:Logic_in_computer_science dbpedia:Category:Category_theory dbpedia:Category:Mathematical_logic
skos:prefLabel	Categorical logic
is skos:broader of	dbpedia:Category:Topos_theory
is skos:subject of	dbpedia:Categorical_logic dbpedia:Higher-dimensional_algebra dbpedia:Lawvere_theory