David I. Spivak

Books
Category Theory for the Sciences Category Theory for the Sciences
Category Theory for the Sciences
2014
An Invitation to Applied Category Theory An Invitation to Applied Category Theory
An Invitation to Applied Category Theory
2019
Temporal Type Theory Temporal Type Theory
Temporal Type Theory
2019