In category theory, a branch of mathematics, the abstract notion of a limit captures the essential properties of universal constructions such as products...

In category theory, the product of two (or more) objects in a category is a notion designed to capture the essence behind constructions in other areas...

In category theory, a branch of mathematics, a pushout (also called a fibered coproduct or fibered sum or cocartesian square or amalgamated sum) is the...

category theory, a branch of mathematics, a pullback (also called a fiber product, fibre product, fibered product or Cartesian square) is the limit of...

concept of limit in category theory. By working in the dual category, that is by reversing the arrows, an inverse limit becomes a direct limit or inductive...

In category theory, a branch of mathematics, the cone of a functor is an abstract notion used to define the limit of that functor. Cones make other appearances...

the limit depends on the system of homomorphisms. Direct limits are a special case of the concept of colimit in category theory. Direct limits are dual...

Cokernel Pushout (category theory) Direct limit Biproduct Direct sum Preadditive category Additive category Pre-Abelian category Abelian category Exact sequence...

In category theory, the coproduct, or categorical sum, is a construction which includes as examples the disjoint union of sets and of topological spaces...

Category theory is a general theory of mathematical structures and their relations. It was introduced by Samuel Eilenberg and Saunders Mac Lane in the...

common throughout category theory for any binary equaliser. In the case of a preadditive category (a category enriched over the category of Abelian groups)...

found in category theory, where limits (and co-limits) in a more general sense are considered. The categorical concept of limit-preserving and limit-reflecting...

In the mathematical field of category theory, the category of sets, denoted as Set, is the category whose objects are sets. The arrows or morphisms between...

Limit of a net Limit point, in topological spaces Limit (category theory) Direct limit Inverse limit Limits (BDSM), activities that a partner feels strongly...

In category theory, a branch of mathematics, an initial object of a category C is an object I in C such that for every object X in C, there exists precisely...

limit and direct limit in category theory. The limit inferior and limit superior provide generalizations of the concept of a limit which are particularly...

generalise the category of linear representations of an algebraic group G defined over K. A number of major applications of the theory have been made...

In category theory, a branch of mathematics, a diagram is the categorical analogue of an indexed family in set theory. The primary difference is that in...

In mathematics, higher category theory is the part of category theory at a higher order, which means that some equalities are replaced by explicit arrows...

object. A simple example is the category of sets, whose objects are sets and whose arrows are functions. Category theory is a branch of mathematics that...

In category theory, a branch of mathematics, duality is a correspondence between the properties of a category C and the dual properties of the opposite...

In mathematics, particularly in homotopy theory, a model category is a category with distinguished classes of morphisms ('arrows') called 'weak equivalences'...

specifically category theory, a quasi-category (also called quasicategory, weak Kan complex, inner Kan complex, infinity category, ∞-category, Boardman complex...

category is a category in which all small limits exist. That is, a category C is complete if every diagram F : J → C (where J is small) has a limit in...

(2009). Direct limit – Special case of colimit in category theory Inverse limit – Construction in category theory completions in category theory Illusie, Luc...

In category theory, a branch of abstract mathematics, an equivalence of categories is a relation between two categories that establishes that these categories...

In mathematics, specifically category theory, adjunction is a relationship that two functors may exhibit, intuitively corresponding to a weak form of...

In mathematics, specifically category theory, a functor is a mapping between categories. Functors were first considered in algebraic topology, where algebraic...

{\displaystyle {\mathcal {F}}} turns colimits of such diagrams into limits. In some categories, it is possible to construct a sheaf by specifying only some of...

In category theory, a branch of mathematics, a presheaf on a category C {\displaystyle C} is a functor F : C o p → S e t {\displaystyle F\colon C^{\mathrm...