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.
Available in 8 languages
via Wikidata sitelinks · CC0