Category:Categorical logic
![]() | Computing portal |
Here is a list of articles in the Categorical logic category of the Computing portal that unifies foundations of mathematics and computations using computers.
Pages in category "Categorical logic"
The following 8 pages are in this category, out of 8 total.
- Categorical logic (computing)
C
- Categorical set theory (computing)
H
- Higher-dimensional algebra (computing)
L
- Lawvere theory (philosophy)
N
- Natural number object (computing)
- Natural numbers object (computing)
S
- Stone space (computing)
- Stone's representation theorem for Boolean algebras (computing)