Temporal Type Theory : A Topos-Theoretic Approach to Systems and Behavior

by Schultz, Patrick, Spivak, David I.
Published 2019

An invitation to applied category theory : seven sketches in compositionality

by Fong, Brendan, Spivak, David I.
Published 2019

Polynomial functors : a mathematical theory of interaction

by Niu, Nelson, Spivak, David I.
Published 2025