EUGENIA CHENG, Thomas Leinster

Research output: Contribution to journalArticlepeer-review


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 definitions to infinite dimensions using the theory of terminal coalgebras, and we apply this method to Trimble’s notion of weak n-category. Trimble’s definition makes explicit the relationship between n-categories and topological spaces; our extended theory produces a definition of Trimble ∞-category and a fundamental ∞-groupoid construction. Furthermore, terminal coalgebras are often constructed as limits of a certain type. We prove that the theory of Batanin–Leinster weak ∞-categories arises as just such a limit, justifying our approach to Trimble ∞-categories. In fact we work at the level of monads for ∞-categories, rather than ∞-categories themselves; this requires more sophisticated technology but also provides a more complete theory of the structures in question.
Original languageEnglish
Article number34
Pages (from-to)1073-1133
Number of pages62
JournalTheory and Applications of Categories
Publication statusPublished - 22 Oct 2019


Dive into the research topics of 'WEAK ∞-CATEGORIES VIA TERMINAL COALGEBRAS'. Together they form a unique fingerprint.

Cite this