Free algebras through Day convolution

DOI10.2140/AGT.2022.22.3401MaRDI QIDQ6342935arXivFDO

Authors H. Chu, Rune Haugseng

Publication date 15 June 2020

Published in arXiv

Full work available at URL https://doi.org/10.2140/AGT.2022.22.3401

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) ((infty,1))-categories (quasi-categories, Segal spaces, etc.); (infty)-topoi, stable (infty)-categories (18N60) (infty)-operads and higher algebra (18N70)

arXiv classification

math.ATmath.CT

Abstract: Building on the foundations in our previous paper, we study Segal conditions that are given by finite products, determined by structures we call cartesian patterns. We set up Day convolution on presheaves in this setting and use it to give conditions under which there is a colimit formula for free algebras and other left adjoints. This specializes to give a simple proof of Lurie's results on operadic left Kan extensions and free algebras for symmetric $infty$-operads.

This page was built for publication: Free algebras through Day convolution

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6342935)