In mathematics, a comma category (a special case being a slice category) is a construction in category theory. It provides another way of looking at morphisms:...

abstractly as initial or terminal objects of a comma category (see § Connection with comma categories, below). Universal properties occur almost everywhere...

we can define the category of cones to F as the comma category (Δ ↓ F). Morphisms of cones are then just morphisms in this category. This equivalence...

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

The comma , is a punctuation mark that appears in several variants in different languages. It has the same shape as an apostrophe or single closing quotation...

In mathematics, specifically in category theory, a pre-abelian category is an additive category that has all kernels and cokernels. Spelled out in more...

well-definition A mathematical symbol for "approaching from above" A comma category, in category theory Down (game theory), a mathematical game The ingressive...

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 mathematics, a morphism is a concept of category theory that generalizes structure-preserving maps such as homomorphism between algebraic structures...

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