(Q5051813)
Statements
Identifiers
Sitelinks
Wikipedia(6 entries)
- azwiki Məntiqi kateqoriyalar
- cswiki Kategorická logika
- enwiki Categorical logic
- itwiki Logica categorica
- nlwiki Categorische logica
- ptwiki Lógica categórica
branch of category theory within mathematics, adjacent to mathematical logic but more notable for its connections to theoretical computer science.