Category Theory Articles

Page 1 of 1 (4 articles)

12/29/2025 • EN

Explores why category theory requires collections larger than sets to be interesting, discussing foundational issues and cardinality.

Category Theory Foundations mathematics Paradoxes set theory

9/5/2025 • EN

Explores categorical models for dependent type theory, connecting lambda calculus to fibrations and sections in locally cartesian closed categories.

Category Theory Dependent Types formal verification Lambda Calculus type theory

7/26/2025 • EN

Explores the concept of (weak) factorization systems in category theory, generalizing function decomposition into surjections and injections.

Category Theory Factorization Systems Homotopy Theory mathematics Morphisms

3/20/2025 • EN

Explores the categorical definition of a subobject classifier, a key concept in topos theory, using set theory as a foundation.

Category Theory Monomorphisms Presheaves Subobject Classifier Topos Theory

Select Language