About 7 results for "UCxUZjZaLPsHPlp8AtkSBZiA"

What is category theory?

Topos Institute • Jun 30, 2023

Paul Dancstep: The Universal Library; A novel approach to teaching category theory

Topos Institute • Feb 21, 2022

Jacques Carette: "What I learned from formalizing Category Theory in Agda"

Topos Institute • Dec 31, 1969

John Cartmell: "Aspects of a Mathematical Theory of Data"

Topos Institute • Dec 31, 1969

André Joyal: "Free bicompletion of categories revisited (part 1)"

Topos Institute • Dec 31, 1969