9.2.1 The Empty Category

The empty category is the category Øcat where

  • Objects. We have

    Obj(Øcat)=defØ.

  • Morphisms. We have

    Mor(Øcat)=defØ.

  • Identities and Composition. Having no objects, Øcat has no unit nor composition maps.


Noticed something off, or have any comments? Feel free to reach out!


You can also use the contact form below: