17 citations · 100 across the 20 of their papers we have counts for
21 papers
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…
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…
Weak vertical composition
Eugenia Cheng, Alexander S. Corner
We study semi-strict tricategories in which the only weakness is in vertical composition. We construct these as categories enriched in the category of bicategories with strict func…
Iterated icons
Eugenia Cheng, Nick Gurski
We study the totality of categories weakly enriched in a monoidal bicategory using a notion of enriched icon as 2-cells. We show that when the monoidal bicategory in question is sy…
Weak -categories via terminal coalgebras
Eugenia Cheng, Tom Leinster
Higher categorical structures are often defined by induction on dimension, which a priori produces only finite-dimensional structures. In this paper we show how to extend such defi…
A direct proof that the category of 3-computads is not cartesian closed
Eugenia Cheng
We prove by counterexample that the category of 3-computads is not cartesian closed, a result originally proved by Makkai and Zawadowski. We give a 3-computad B and show that the f…