Categorical logic
Jump to navigation
Jump to search
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.