Not signed in (Sign In)

# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Sign in using OpenID

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorjesuslop
• CommentTimeAug 18th 2018
• (edited Aug 18th 2018)

Hi again,

In Module category, it says:

Let $\mathcal{M}$ be a monoidal category and $B\mathcal{M}$ its delooping as a bicategory. A (left) module category is then simply a 2-functor $B\mathcal{M} \to \mathcal{Cat}$.

Further expanding this definition, we have the following data:

• A category $\mathcal{C}$
• A functor $- \triangleright -\colon \mathcal{C} \times \mathcal{M} \to \mathcal{M}$
• A natural isomorphism $\alpha_{A,B,X}\colon A \triangleright (B \triangleright X) \to (A \otimes B) \triangleright X$ satisfying a pentagon axiom involving the associator of $\mathcal{M}$

Shouldn’t item 2 be “A functor $- \triangleright -\colon \mathcal{M} \times \mathcal{C} \to \mathcal{C}$ “?

• CommentRowNumber2.
• CommentAuthorDavid_Corfield
• CommentTimeAug 18th 2018

Yes, fixed now.

Add your comments
• Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
• To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

• (Help)