👤

David I. Spivak

3 books

Books by David I. Spivak

Polynomial Functors
Polynomial Functors
2025
Invitation to Applied Category Theory
Invitation to Applied Category Theory
2019
Temporal Type Theory
Temporal Type Theory
2019