zero object

in category theory, an object that is both initial and terminal

Kategoriler: