Introduction to Category Theory and Categorical Logic

www2.mathematik.tu-darmstadt.desite

Thomas Streicher.

from

Math

added

2026-10-10

likes

0

similar

1. ▲
   Introduction to Logic logic.stanford.edu

   site category #math link ↗

   Michael Genesereth, Eric J. Kao (Stanford University).

2. ▲
   Category Theory mathematik.uni-muenchen.de

   site category #math link ↗

   B. Pareigis.

3. ▲
   Category Theory in Coq github.com

   tool category #coq link ↗

   Axiom-free formalization of category theory.

   
4. ▲
   Category Theory in Context math.jhu.edu

   site category #math link ↗

   Emily Riehl (Johns Hopkins University).

5. ▲
   Abelian Categories tac.mta.ca

   site category #math link ↗

   Peter Freyd.

6. ▲
   Abstract and Concrete Categories: The Joy of Cats tac.mta.ca

   site category #math link ↗

   Jiri Adamek, Horst Herrlich, George E. Strecker.

Math › Foundations and Logic > Category Theory: “Thomas Streicher.”