Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userFree algebras through Day convolution
73
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic 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 Luries results on operadic left Kan extensions and free algebras for symmetric $infty$-operads.
rate research
Read More
Consider a diagram $cdots to F_3 to F_2to F_1$ of algebraic systems, where $F_n$ denotes the free object on $n$ generators and the connecting maps send the extra generator to some distinguished trivial element. We prove that (a) if the $F_i$ are free associative algebras over a fixed field then the limit in the category of graded algebras is again free on a set of homogeneous generators; (b) on the other hand, the limit in the category of associative (ungraded) algebras is a free formal power series algebra on a set of homogeneous elements, and (c) if the $F_i$ are free Lie algebras then the limit in the category of graded Lie algebras is again free.
Using the description of enriched $infty$-operads as associative algebras in symmetric sequences, we define algebras for enriched $infty$-operads as certain modules in symmetric sequences. For $mathbf{V}$ a nice symmetric monoidal model category, we prove that strict algebras for $Sigma$-cofibrant operads in $mathbf{V}$ are equivalent to algebras in the associated symmetric monoidal $infty$-category in this sense. We also show that $mathcal{O}$-algebras in $mathcal{V}$ can equivalently be described as morphisms of $infty$-operads from $mathcal{O}$ to endomorphism operads of (families of) objects of $mathcal{V}$.
Over a monoidal model category, under some mild assumptions, we equip the categories of colored PROPs and their algebras with projective model category structures. A Boardman-Vogt style homotopy invariance result about algebras over cofibrant colored PROPs is proved. As an example, we define homotopy topological conformal field theories and observe that such structures are homotopy invariant.
We set up foundations of representation theory over $S$, the sphere spectrum, which is the `initial ring of stable homotopy theory. In particular, we treat $S$-Lie algebras and their representations, characters, $gl_n(S)$-Verma modules and their duals, Harish-Chandra pairs and Zuckermann functors. As an application, we construct a Khovanov $sl_k$-stable homotopy type with a large prime hypothesis, which is a new link invariant, using a stable homotopy analogue of the method of J.Sussan.
Game semantics has provided adequate models for a variety of programming languages, in which types are interpreted as two-player games and programs as strategies. Melli`es (2018) suggested that such categories of games and strategies may be obtained as instances of a simple abstract construction on weak double categories. However, in the particular case of simple games, his construction slightly differs from the standard category. We refine the abstract construction using factorisation systems, and show that the new construction yields the standard category of simple games and strategies. Another perhaps surprising instance is Days convolution monoidal structure on the category of presheaves over a strict monoidal category.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
