category with duals (list of them)
dualizable object (what they have)
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.