Homotopy-coherent algebra via Segal conditions
Peer reviewed, Journal article
Published version
Date
2021Metadata
Show full item recordCollections
- Institutt for matematiske fag [2601]
- Publikasjoner fra CRIStin - NTNU [39811]
Original version
10.1016/j.aim.2021.107733Abstract
Many homotopy-coherent algebraic structures can be described by Segal-type limit conditions determined by an “algebraic pattern”, by which we mean an ∞-category equipped with a factorization system and a collection of “elementary” objects. Examples of structures that occur as such “Segal -spaces” for an algebraic pattern include ∞-categories, -categories, ∞-operads (including symmetric, non-symmetric, cyclic, and modular ones), ∞-properads, and algebras for a (symmetric) ∞-operad in spaces.
In the first part of this paper we set up a general framework for algebraic patterns and their associated Segal objects, including conditions under which the latter are preserved by left and right Kan extensions. In particular, we obtain necessary and sufficient conditions on a pattern for free Segal -spaces to be described by an explicit colimit formula, in which case we say that is “extendable”.
In the second part of the paper we explore the relationship between extendable algebraic patterns and polynomial monads, by which we mean cartesian monads on presheaf ∞-categories that are accessible and preserve weakly contractible limits. We first show that the free Segal -space monad for an extendable pattern is always polynomial. Next, we prove an ∞-categorical version of Weber's Nerve Theorem for polynomial monads, and use this to define a canonical extendable pattern from any polynomial monad, whose Segal spaces are equivalent to the algebras of the monad. These constructions yield functors between polynomial monads and extendable algebraic patterns, and we show that these exhibit full subcategories of “saturated” algebraic patterns and “complete” polynomial monads as localizations, and moreover restrict to an equivalence between the ∞-categories of saturated patterns and complete polynomial monads.