About:
Categorical logic
An Entity in Data Space:
dbpedia.org
Property
Value
rdf:
type
skos
:Concept
rdfs:
label
Categorical logic
skos:
broader
category
:Logic_in_computer_science
category
:Category_theory
category
:Mathematical_logic
skos:
prefLabel
Categorical logic
is
skos:
broader
of
category
:Topos_theory
is
skos:
subject
of
dbpedia
:Categorical_logic
dbpedia
:Higher-dimensional_algebra
dbpedia
:Lawvere_theory
![[RDF Data]](/statics/sw-cube.png)
