I.

2-fold monoidal categories.

2-fold monoidal categories.

The
important things to remember about a 2-fold monoidal category:

1)
It has two tensor products:

2) The second product is a monoidal
functor with

respect
to the first:

3) For coherence and unit axioms see [B,F,S,V].