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

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

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

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

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 monoid (or monoid object, or internal monoid, or algebra) (M, μ, η) in a monoidal category (C, ⊗, I) is...

In ontology, the theory of categories concerns itself with the categories of being: the highest genera or kinds of entities according to Amie Thomasson...