172 citations · 796 across the 66 of their papers we have counts for
4 papers · 2 filters
Graphical Regular Logic
Brendan Fong, David I Spivak
Regular logic can be regarded as the internal language of regular categories, but the logic itself is generally not given a categorical treatment. In this paper, we understand the…
Decomposition-space slices are toposes
Joachim Kock, David I. Spivak
We show that the category of decomposition spaces and CULF maps is locally a topos. Precisely, the slice category over any decomposition space D is a presheaf topos, namely decomp/…
Hypergraph Categories
Brendan Fong, David I Spivak
Hypergraph categories have been rediscovered at least five times, under various names, including well-supported compact closed categories, dgs-monoidal categories, and dungeon cate…
Seven Sketches in Compositionality: An Invitation to Applied Category Theory
Brendan Fong, David I Spivak
This book is an invitation to discover advanced topics in category theory through concrete, real-world examples. It aims to give a tour: a gentle, quick introduction to guide later…