zero object

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

카테고리: