Weak $\infty$-categories via terminal coalgebras

TL;DR

This paper extends finite-dimensional weak n-category definitions to infinite dimensions using terminal coalgebras, applying it to Trimble's notion and establishing a new framework for infinity-categories and infinity-groupoids.

Contribution

It introduces a novel approach to defining infinite-dimensional weak infinity-categories via terminal coalgebras, connecting them with topological spaces and justifying existing theories as limits.

Findings

Defines Trimble infinity-category using terminal coalgebras

Constructs a fundamental infinity-groupoid from the new definition

Shows Batanin-Leinster weak infinity-categories arise as limits

Abstract

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 infinity-category and a fundamental infinity-groupoid construction. Furthermore, terminal coalgebras are often constructed as limits of a certain type. We prove that the theory of Batanin-Leinster weak infinity-categories arises as just such a limit, justifying our approach to Trimble infinity-categories. In fact we work at the level of monads for infinity-categories, rather than infinity-categories themselves; this requires more sophisticated technology but also provides a more complete theory of the structures in question.