initial and terminal objects
objects used in category theory branch of mathematics
strict initial object
initial object 0 of a category C with the property that every morphism in C with codomain 0 is an isomorphism
objects used in category theory branch of mathematics