Jump to content

Category:Categorical logic

From Wikipedia, the free encyclopedia

Subcategories

This category has only the following subcategory.

T

Topos theory (1 C, 17 P)

Pages in category "Categorical logic"

The following 7 pages are in this category, out of 7 total. This list may not reflect recent changes.

Categorical logic

C

Categorical set theory

H

Higher-dimensional algebra

L

Lawvere theory

N

Natural numbers object

S

Retrieved from "https://en.wikipedia.org/w/index.php?title=Category:Categorical_logic&oldid=916128884"