| title | media type | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| An Invitation to Applied Category Theory: Seven Sketches in Compositionality | Hardcover | 978-1-108-48229-5 | 2019 | Brendan Fong | |
| An Invitation to Applied Category Theory: Seven Sketches in Compositionality | Digital | 978-1-108-62185-4 | 2019 | " | |
| An Invitation to Applied Category Theory: Seven Sketches in Compositionality | Paperback | 978-1-108-71182-1 | 2019 | " | |
| Category Theory for the Sciences | Hardcover | 978-0-262-02813-4 | 2014 | ||
| Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior | Gebunden | 978-3-030-00703-4 | 2019 | Patrick Schultz | |
D. I. · D S · David I. · David S. · David Spivak
Cambridge University Press · Springer · The MIT Press