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

Poincaré duality corresponds similarly to intersection number, viewed as a pairing between submanifolds of a given manifold. From a category theory viewpoint...

categories. Examples include quotient spaces, direct products, completion, and duality. Many areas of computer science also rely on category theory,...

morphism Dual (category theory) Groupoid Image (category theory) Coimage Commutative diagram Cartesian morphism Slice category Isomorphism of categories Natural...

In category theory, a branch of mathematics, the opposite category or dual category Cop of a given category C is formed by reversing the morphisms, i.e...

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

In category theory, a branch of mathematics, a monad (also triple, triad, standard construction and fundamental construction) is a monoid in the category...

mirror one another Dual (category theory), a formalization of mathematical duality see more cases in Category:Duality theories Dual (grammatical number),...

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 cone of a functor is an abstract notion used to define the limit of that functor. Cones make other appearances...