Note: The translation for this entry is currently under quality review. Some content is temporarily displayed in English only.
colimit
This term is a highly specialized technical expression used exclusively within the field of category theory in mathematics. It describes a universal construction that generalizes several other mathematical concepts, such as the supremum in order theory or the direct sum in linear algebra. Because it is a formal mathematical definition, it is used in a precise, academic register and does not have a casual or metaphorical application.
In a grammatical sense, the word functions as a standard countable noun. While it describes an abstract mathematical object, it follows typical English pluralization rules when referring to multiple such constructions across different categories or diagrams.
Meanings
In category theory, a generalization of the concepts of coproducts, pushouts, and direct limits, representing the universal object that receives morphisms from every object in a diagram.
The colimit of the diagram is computed by taking the quotient of the coproduct by the specified relations.