With duals for objects
With duals for morphisms
Special sorts of products
In higher category theory
A monoidal fibration is a functor such that
If is cartesian monoidal, then monoidal fibrations over are equivalent to pseudofunctors , which are called indexed monoidal categories. In this case the tensor product on is the external tensor product of the indexed monoidal category.
Revised on February 10, 2014 05:08:49
by Urs Schreiber