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.
Antonin Delpeuch (Apr 28 2021 at 07:15):Hi all, I am looking for a proof of the fact that a doubly degenerate tricategory (so, a tricategory with only one 0-cell and only one 1-cell) is the same thing as a braided monoidal category. I have seen it claimed in various places but cannot figure out what is the right reference for this. It is fairly intuitive visually but I am wondering if there is a careful algebraic proof somewhere… I posted the question on MathOverflow too: https://mathoverflow.net/questions/391382/braided-monoidal-categories-as-doubly-degenerate-tricategories
David Michael Roberts (Apr 28 2021 at 08:01):I guess in work on Cheng and Gurski? Is http://www.numdam.org/article/CTGDC_2011__52_2_82_0.pdf what you wanted?
Antonin Delpeuch (Apr 28 2021 at 11:33):It looks perfect indeed, thanks! I can't believe I hadn't come across this one before :)