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