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

## Discussion Tag Cloud

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

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeOct 30th 2012

I want to be able to point to category of V-enriched categories, so I created an entry, so far just with a brief Idea-paragraph.

• CommentRowNumber2.
• CommentAuthorzskoda
• CommentTimeOct 30th 2012

For the 2-category of enriched categories, you anticipate a separate entry, or one should add the information here ?

• CommentRowNumber3.
• CommentAuthorUrs
• CommentTimeOct 30th 2012

We don’t have separate entries for the different flavors of Cat etc. But maybe we should rename “category of V-categories” to just VCat (which currently is a redirect).

• CommentRowNumber4.
• CommentAuthorTobyBartels
• CommentTimeOct 30th 2012

I expanded the entry to discuss $\mathcal{V} Cat$ as a $2$-category. Although I didn't do it, a move to VCat would probably also be good.

• CommentRowNumber5.
• CommentAuthorDavidRoberts
• CommentTimeOct 12th 2018
• (edited Oct 12th 2018)

[malformed duplicate]

• CommentRowNumber6.
• CommentAuthorDavidRoberts
• CommentTimeOct 12th 2018

The entry as it stands is hard to follow, especially the section Structure of the category of V-enriched categories for various contexts, which is quite unmotivated and peters out.

As a general question, what does one require on $\mathcal{V}$ for $\mathcal{V}Cat$ to be enriched over itself?

• CommentRowNumber7.
• CommentAuthorDavidRoberts
• CommentTimeOct 12th 2018
• (edited Oct 12th 2018)

Well, one needs $\mathcal{V}$ to be symmetric monoidal, so that $\mathcal{V}Cat$ has a tensor product (section 1.4 of Kelly’s book), and this I think is the tensor product I would like to enrich $\mathcal{V}Cat$ over.

EDIT: Hmm, and then in section 2.2 it seems that taking $\mathcal{V}$ to be complete is enough to get the internal hom for $\mathcal{V}Cat$, and I presume this enriches $\mathcal{V}Cat$ over itself…

• CommentRowNumber8.
• CommentAuthorDavidRoberts
• CommentTimeOct 12th 2018

OK, so just before equation (2.29) on page 33 of Kelly’s book it is stated that the symmetric monoidal 2-category $\mathcal{V}Cat$ is closed (with the standing assumption that $\mathcal{V}$ is complete and symmetric monoidal). I’m slightly wary of this being about a symmetric monoidal 2-category, but it’s probably best to think of it just as a symmetric monoidal enriched category.

• CommentRowNumber9.
• CommentAuthorMike Shulman
• CommentTimeOct 12th 2018

Yes, it’s a symmetric monoidal 2-category in the strictest reasonable sense of a symmetric monoidal $\mathrm{Cat}$-enriched category. This should be true whenever $\mathcal{V}$ is complete and symmetric monoidal closed.

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)