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

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

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

Formalizing Category Theory in Agda (Long)See more

Formalizing Category Theory in Agda (Long)

Formalizing Category Theory in Agda (Short)See more

Formalizing Category Theory in Agda (Short)

Category Theory Part 1 of 3: CategoriesSee more

Category Theory Part 1 of 3: Categories

Events