Seven Sketches in Compositionality: An Invitation to Applied Category Theory

arxiv.orgsite

Brendan Fong and David I. Spivak (MIT).

from

Math

added

2026-10-10

likes

0

similar

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

   site category #math link ↗

   Jiri Adamek, Horst Herrlich, George E. Strecker.

2. ▲
   Mathematical Components math-comp.github.io

   site category #coq link ↗

   Formalization of mathematical theories, focusing in particular on group theory.

3. ▲
   Basic Concepts of Enriched Category Theory tac.mta.ca

   site category #math link ↗

   G. M. Kelly.

4. ▲
   Ben-Ari. Mathematical Logic for Computer Science springer.com

   site category #theoretical-computer-science link ↗

   Semantic tableaux are used because they are theoretically sound and easy to understand.

   
5. ▲
   Introduction to Category Theory and Categorical Logic www2.mathematik.tu-darmstadt.de

   site category #math link ↗

   Thomas Streicher.

6. ▲
   Functional Analysis: Lecture Notes apps.math.msu.edu

   site category #math link ↗

   Jeff Schenker (Michigan State University).

Math › Foundations and Logic > Category Theory: “Brendan Fong and David I. Spivak (MIT).”