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

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

The comma , is a punctuation mark that appears in several variants in different languages. Some typefaces render it as a small line, slightly curved or...

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

G)^{\text{op}}\cong (G^{\text{op}}\downarrow F^{\text{op}})} (see comma category) Dual object Dual (category theory) Duality (mathematics) Adjoint functor Contravariant...