Category
page 1Limits (category theory)
product
mathematical term of an generalized object in category theory
coproduct
In category theory, the coproduct, or categorical sum, is a construction which includes as examples the disjoint union of sets and of topological spaces, the free product of groups, and the direct sum of modules and vector spaces. The coproduct of a family of objects is essentially the "least specific" object to which each object in the family admits a morphism. It is the category-theoretic dual notion to the categorical product, which means the definition is the same as the product but with all arrows reversed. Despite this seemingly innocuous change in the name and notation, coproducts can b
initial and terminal objects
objects used in category theory branch of mathematics
limit
category theory term
pullback
category-theoretic limit of a diagram of the form 𝑋→𝑍←𝑌
equaliser
set of arguments where two or more functions have the same value
direct limit
colimit of a "directed family of objects"
inverse limit
construction to "glue together" mathematical objects along a downward-directed set
pushout
category-theoretic colimit of a diagram of the form 𝑋←𝑍→𝑌
complete category
category with all limits of (small) diagrams
coequalizer
In category theory, a coequalizer (or coequaliser) is a generalization of the quotient of a set by an equivalence relation to objects in an arbitrary category. It is the categorical construction dual to the equalizer.
cone
in category theory