Difference between revisions of "Categorical logic"
Jump to navigation
Jump to search
(Created page with "{{WikiEntry|key=Categorical Logic|qCode=18376327}} is a branch of category theory within mathematics, adjacent to mathematical logic but more notable for its connections to theoretical computer science.") |
|||
| Line 1: | Line 1: | ||
{{WikiEntry|key=Categorical | {{WikiEntry|key=Categorical logic|qCode=18376327}} is a branch of category theory within mathematics, adjacent to mathematical logic but more notable for its connections to theoretical computer science. | ||
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.