Category (mathematics)

Mathematical object that generalizes the standard notions of sets and functions

In addition to formalizing mathematics, category theory is also used to formalize many other systems in computer science, such as the semantics of programming languages.

Every retraction is an epimorphism. Every section is a monomorphism. The following three statements are equivalent: