In category theory, an end of a functor S : C o p × C → X {\displaystyle S:\mathbf {C} ^{\mathrm {op} }\times \mathbf {C} \to \mathbf {X} } is a universal...

category theory, a branch of mathematics, a monad is a triple ( T , η , μ ) {\displaystyle (T,\eta ,\mu )} consisting of a functor T from a category to...

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

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, a pullback (also called a fiber product, fibre product, fibered product or Cartesian square) is the limit...

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 section is a right inverse of some morphism. Dually, a retraction is a left inverse of some morphism. In...

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, a branch of mathematics, a pushout (also called a fibered coproduct or fibered sum or cocartesian square or amalgamated sum) is the...

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...

Applied category theory is an academic discipline in which methods from category theory are used to study other fields including but not limited to computer...

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...

Applied category theory Category of sets Concrete category Category of vector spaces Category of graded vector spaces Category of chain complexes Category of...

a glossary of properties and concepts in category theory in mathematics. (see also Outline of category theory.) Notes on foundations: In many expositions...

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...

In mathematics, the Elementary Theory of the Category of Sets or ETCS is a set of axioms for set theory proposed by William Lawvere in 1964. Although it...

general is in category theory. The algebraic objects to which representation theory applies can be viewed as particular kinds of categories, and the representations...

This is a timeline of category theory and related mathematics. Its scope ("related mathematics") is taken as: Categories of abstract algebraic structures...

end or ending in Wiktionary, the free dictionary. End, END, Ending, or ENDS may refer to: End (category theory) End (topology) End (graph theory) End...

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

In category theory, a branch of mathematics, a natural transformation provides a way of transforming one functor into another while respecting the internal...

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

In category theory, a branch of mathematics, a PROP is a symmetric strict monoidal category whose objects are the natural numbers n identified with the...

In category theory, a category is Cartesian closed if, roughly speaking, any morphism defined on a product of two objects can be naturally identified...

In category theory, a branch of mathematics, the center (or Drinfeld center, after Soviet-American mathematician Vladimir Drinfeld) is a variant of the...

In mathematics, a morphism is a concept of category theory that generalizes structure-preserving maps such as homomorphism between algebraic structures...

tensor category (also called a modular fusion category) is a type of tensor category that plays a role in the areas of topological quantum field theory, conformal...

In category theory, a branch of mathematics, an enriched category generalizes the idea of a category by replacing hom-sets with objects from a general...