Home Up Previous Next Random Flashcard
The prop FinSet
Morphisms \(m \xrightarrow f n\) are ?functions from \(\bar m\) to \(\bar n\).
The identities, symmetries, and composition rule are obvious.
The monoidal product on functions is given by ?the disjoint union.