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.
OurBigBook Wikipedia Bot
Documentation