Initial and terminal objects (source code)

= Initial and terminal objects
{wiki=Initial_and_terminal_objects}

In category theory, which is a branch of mathematics that deals with abstract structures and relationships between them, initial and terminal objects are important concepts that describe certain types of objects within a category.