Grothendieck's relative point of view
article-link
What links here
Categorical logic
Natural numbers object
article-link
William Lawvere
article-link
Higher-order logic
article-link
Outline of category theory
article-link
List of mathematical logic topics
article-link
Curry–Howard correspondence
article-link
Unifying theories in mathematics
article-link
Adjoint functors
article-link
Dialectic
article-link
Type theory
article-link
Constructivism (philosophy of mathematics)
article-link
Mathematical logic
article-link
Propositional logic
article-link
Category theory
article-link
Alexander Grothendieck
article-link