show/hide this revision's text 1 [made Community Wiki]

The empty category is a categorification of the empty set :-))