# 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

## Site Tag Cloud

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

• CommentRowNumber1.
• CommentAuthorvarkor
• CommentTimeMay 17th 2019
• (edited May 21st 2019)

Begin a page on $(n \times k)$-categories, which are $n$-categories internal to $k$-categories.

• CommentRowNumber2.
• CommentAuthorUrs
• CommentTimeMay 17th 2019

made more of the keywords hyperlinked, and added more cross-links to/from Related entries (so that there is more of a chance that this entry here is found by readers who don’t know that it exists!):

• CommentRowNumber3.
• CommentAuthorMike Shulman
• CommentTimeMay 19th 2019

Thanks! What is meant by “subsume” in the “Relationships” section?

• CommentRowNumber4.
• CommentAuthorvarkor
• CommentTimeMay 20th 2019
• (edited May 21st 2019)

Clarified a sentence about the relationship between (1 x 2)- and (2 x 1)-categories.

• CommentRowNumber5.
• CommentAuthorMike Shulman
• CommentTimeMay 20th 2019

Clarified that strictness is used in the DH result, and that fibrancy is also used in some such results. Some more general explanation of this phenomenon would be good to include.

• CommentRowNumber6.
• CommentAuthormaxsnew
• CommentTimeAug 9th 2019
• (edited Aug 9th 2019)

One of the examples is a $1 \times 1 \times 1$ category being a triple category, but obviously that does not fit into the pattern the page is describing. Should the page instead be about $n_1 \times n_2 \times \cdots$ categories?

• CommentRowNumber7.
• CommentAuthorMike Shulman
• CommentTimeAug 9th 2019

If anyone wants to write such a page, we could move the triple-category example to there. But at present it seems sensible to me to keep the current page being about the simple and most-common notion and yet mention one example that suggests how it might be generalized.

• CommentRowNumber8.
• CommentAuthormaxsnew
• CommentTimeAug 12th 2019

Say explicitly that the triple category case is extending the pattern.