2 papers
math.CT2026
A higher-order Eckmann-Hilton argument
Eugenia Cheng, Alexander S. Corner
We give a higher-order higher-dimensional Eckmann-Hilton argument that is entirely algebraic. First we give an explicit argument showing that if we have two monoidal structures on…
math.CT2023
Weak vertical composition II: totalities
Eugenia Cheng, Alexander S. Corner
We continue our study of semi-strict tricategories in which the only weakness is in vertical composition. We assemble the doubly-degenerate such tricategories into a 2-category, de…