Showing math.CTShow all
3 papers · 1 filter
math.CT2026
Symmetry shifting for monoidal bicategories
Raffael Stenzel
We show that every braiding on a monoidal bicategory induces a monoidal structure on its bicategory of monoids, such that if the former is sylleptic or symmetric then the latter is…
math.CT2026
The higher algebra and geometry of monoidal bicategories
Raffael Stenzel
We show that braided, sylleptic and symmetric monoidal bicategories are precisely the -monoids in the cartesian monoidal -category of bicategories for res…
math.CT2024
Lurie's Unstraightening as a weak biequivalence of -cosmoses
Raffael Stenzel
We give a direct proof of the fact that Lurie's Unstraightening functor induces an equivalence between the strict -category of indexed quasi-categories and the strict $…