Image by Van3ssa_ on Pixabay · Pixabay License
categorical logic
Sign in to savebranch of category theory within mathematics, adjacent to mathematical logic but more notable for its connections to theoretical computer science.
Wikidata facts
- Instance of
- branch of mathematics
- Subclass of
- category theory
Sources (1)
via Wikidata · CC0
Available in 8 languages
via Wikidata sitelinks · CC0