bn:00182427n
Noun Concept
JA
内部言語  圏論的論理
EN
Categorical logic is the branch of mathematics in which tools and concepts from category theory are applied to the study of mathematical logic. Wikipedia
Relations
Sources
Wikidata
Wikidata Alias
Wikipedia Translations