Session S27 - Categories and Topology
Thursday, July 15, 13:30 ~ 14:00 UTC-3
Restriction Monads Without Elements
Darien DeWolf
Brandon University, Canada - This email address is being protected from spambots. You need JavaScript enabled to view it.
My thesis introduced restriction monads in bicategories containing a suitable 0-cell $E$ and a restriction operator defined by a family of functions indexed by so-called $E$-elemental 1-cells. In $\mathrm{Span}(\mathbf{Set})$, this suitably-defined $E$ works out to be a single-element set, or a terminal object in $\mathbf{Set}$. This talk extends this notion to generalized objects to include bicategories without enough elements. We will then give examples and applications.