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.") |
m (Benkoo2 moved page Categorical Logic to Categorical logic) |
||
| (One intermediate revision by the same user not shown) | |||
| 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. | ||
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.