Author: Mike Shulman Format: MarkdownItexSeparate out a definition section, treating material set theory separately from category theory, and indicating there is some question about what to say when the category doesn't have all pullbacks.
<a href="https://ncatlab.org/nlab/revision/diff/intersection/13">diff</a>, <a href="https://ncatlab.org/nlab/revision/intersection/13">v13</a>, <a href="https://ncatlab.org/nlab/show/intersection">current</a>
Separate out a definition section, treating material set theory separately from category theory, and indicating there is some question about what to say when the category doesn’t have all pullbacks.