Yes, fixed now.
]]>Hi again,
In Module category, it says:
Let be a monoidal category and its delooping as a bicategory. A (left) module category is then simply a 2-functor .
Further expanding this definition, we have the following data:
- A category
- A functor
- A natural isomorphism satisfying a pentagon axiom involving the associator of
Shouldn’t item 2 be “A functor “?
]]>