| Display title | Categorical logic |
| Default sort key | Categorical logic |
| Page length (in bytes) | 9,197 |
| Namespace ID | 0 |
| Page ID | 38708 |
| Page content language | en - English |
| Page content model | wikitext |
| Indexing by robots | Allowed |
| Number of redirects to this page | 0 |
| Counted as a content page | Yes |
| HandWiki item ID | None |
| Edit | Allow all users (infinite) |
| Move | Allow all users (infinite) |
| Page creator | imported>Gametune |
| Date of page creation | 06:08, 27 June 2023 |
| Latest editor | imported>Gametune |
| Date of latest edit | 06:08, 27 June 2023 |
| Total number of edits | 1 |
| Recent number of edits (within past 90 days) | 0 |
| Recent number of distinct authors | 0 |
Description | Content |
Article description: (description)
This attribute controls the content of the description and og:description elements. | Categorical logic is the branch of mathematics in which tools and concepts from category theory are applied to the study of mathematical logic. It is also notable for its connections to theoretical computer science.
In broad terms, categorical logic represents both syntax and semantics by a category... |
