nLab
monoidal fibration

Context

Monoidal categories

Contents

Definition

A monoidal fibration is a functor Φ:EB\Phi\colon E\to B such that

If BB is cartesian monoidal, then monoidal fibrations over BB are equivalent to pseudofunctors B opMonCatB^{op} \to MonCat, which are called indexed monoidal categories. In this case the tensor product on EE is the external tensor product of the indexed monoidal category.

References

Revised on August 20, 2017 01:55:55 by Mike Shulman (76.167.222.204)