Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.

Stream: learning: questions

Topic: delooping and linearly distributive categories

Cole Comfort (Apr 21 2023 at 18:56):

The [[delooping]] of a monoidal category is a 1-object bicategory. Is there a similar statement for [[linearly distributive categories]]?

Joe Moeller (Apr 21 2023 at 18:57):

I think linear bicategories are defined to make this true.

Cole Comfort (Apr 21 2023 at 18:59):

Hmmm I see. Do you know if there is a way to regard a linear bicategory as some kind of n-category.