What is Product category?

In mathematics, a monoidal category is a category C...

In mathematics, specifically in the field known as category theory, a monoidal category where the monoidal product is the categorical product is called a cartesian monoidal category. Any category with...

In category theory, a branch of mathematics, a pullback is the limit of a diagram consisting of two morphisms f : X → Z and g : Y → Z with a common codomain. The pullback is...

In mathematics, the category Ab has the abelian groups as objects and group homomorphisms as morphisms. This is the prototype of an abelian category: indeed, every small abelian category can...

In mathematics, the category Rel has the class of sets as objects and binary relations as morphisms. A morphism R : A → B in this category is a relation between...

In category theory, a branch of mathematics, a closed category is a special kind of category. In a locally small category, the external hom maps a pair of objects to...

In mathematics, the category Grp has the class of all groups for objects and group homomorphisms for morphisms. As such, it is a concrete category. The study of this category...

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 monoidal category. It is motivated by...

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 category C. Given a statement...

In category theory, a branch of mathematics, the abstract notion of a limit captures the essential properties of universal constructions such as products, pullbacks and inverse limits. The dual notion...