In mathematics, a monoidal category (or tensor category) is a category C {\displaystyle \mathbf {C} } equipped with a bifunctor ⊗ : C × C → C {\displaystyle...

as category theory, a monoidal category where the monoidal ("tensor") product is the categorical product is called a cartesian monoidal category. Any...

In category theory, a branch of mathematics, a symmetric monoidal category is a monoidal category (i.e. a category in which a "tensor product" ⊗ {\displaystyle...

example is the category of sets, Set, where the monoidal product of sets A {\displaystyle A} and B {\displaystyle B} is the usual cartesian product A × B...

monoidal category M. For the case that M is the category of sets and (⊗, I, α, λ, ρ) is the monoidal structure (×, {•}, ...) given by the cartesian product...

category of sets (with the monoidal structure induced by the Cartesian product), is a monoid in the usual sense. A monoid object in Top, the category...

In category theory, a category is Cartesian closed if, roughly speaking, any morphism defined on a product of two objects can be naturally identified with...

Closed monoidal category Braided monoidal category Topos Category of small categories Semigroupoid Comma category Localization of a category Enriched...

by the cartesian product of sets. It is also a monoidal category if one defines the monoidal product by the disjoint union of sets. The category Rel was...

In category theory, a branch of mathematics, a pullback (also called a fiber product, fibre product, fibered product or Cartesian square) is the limit...