Difference between revisions of "Categorical logic"
Jump to navigation
Jump to search
m (Benkoo2 moved page Categorical Logic to Categorical logic) |
|
(No difference)
| |
Latest revision as of 06:21, 7 July 2023
Categorical logic(Q18376327) is a branch of category theory within mathematics, adjacent to mathematical logic but more notable for its connections to theoretical computer science.