English
Related papers

Related papers: Algebras for enriched $\infty$-operads

200 papers

We give infinite triangularization and strict triangularization results for algebras of operators on infinite dimensional vector spaces. We introduce a class of algebras we call Ore-solvable algebras: these are similar to iterated Ore…

Rings and Algebras · Mathematics 2020-07-27 Miodrag Iovanov , Jeremy Edison , Alexander Sistko

We show that morphisms from n A_infinity-algebras to a single one are maps over an operad module with n+1 commuting actions of the operad A_infinity, whose algebras are conventional A_infinity-algebras. Similar statement holds for homotopy…

Category Theory · Mathematics 2015-11-30 Volodymyr Lyubashenko

We give an operadic definition of a genuine symmetric monoidal G-category, and we prove that its classifying space is a genuine E_\infty G-space. We do this by developing some very general categorical coherence theory. We combine results of…

Algebraic Topology · Mathematics 2019-07-25 Bertrand Guillou , J. Peter May , Mona Merling , Angélica M. Osorno

For an arbitrary symmetric monoidal $\infty$-category $\mathcal{V}$, we define the factorization homology of $\mathcal{V}$-enriched $(\infty,1)$-categories over (possibly stratified) 1-manifolds and study some of its basic properties. In…

Algebraic Topology · Mathematics 2024-05-13 David Ayala , John Francis , Aaron Mazel-Gee , Nick Rozenblyum

We construct a direct sum completion $\mathcal{C}_{\oplus}$ of a given braided monoidal category $\mathcal{C}$ which allows for the rigorous treatment of infinite order simple current extensions of vertex operator algebras as seen in…

Category Theory · Mathematics 2017-11-16 Jean Auger , Matt Rupert

We construct for every $\infty$-operad $\mathcal{O}^\otimes$ with certain finite limits new $\infty$-operads of spectrum objects and of commutative group objects in $\mathcal{O}$. We show that these are the universal stable resp. additive…

Algebraic Topology · Mathematics 2016-08-10 Thomas Nikolaus

We consider the cotriple resolution of algebras over operads in differential graded modules. We focus, to be more precise, on the example of algebras over the differential graded Barratt-Eccles operad and on the example of commutative…

Algebraic Topology · Mathematics 2017-03-20 Benoit Fresse

In this paper, we explore a canonical connection between the algebra of $q$-difference operators $\widetilde{V}_{q}$, affine Lie algebra and affine vertex algebras associated to certain subalgebra $\mathcal{A}$ of the Lie algebra…

Quantum Algebra · Mathematics 2021-01-20 Hongyan Guo

Universal algebra uniformly captures various algebraic structures, by expressing them as equational theories or abstract clones. The ubiquity of algebraic structures in mathematics and related fields has given rise to several variants of…

Category Theory · Mathematics 2019-03-19 Soichiro Fujii

We construct a generalization of the operadic nerve, providing a translation between the equivariant simplicially enriched operadic world to the parametrized $\infty$-categorical perspective. This naturally factors through genuine…

Algebraic Topology · Mathematics 2021-06-04 Peter Bonventre

We introduce a symmetric operad $\square p$ ("box-op") which describes a certain calculus of rectangular labeled ``boxes''. Algebras over $\square p$, which we call box operads, have appeared under the name of fc multicategories in work by…

Algebraic Topology · Mathematics 2023-06-29 Hoang Dinh Van , Lander Hermans , Wendy Lowen

We construct a colored operad whose category of algebras is the category of algebraic quantum field theories. This is achieved by a construction that depends on the choice of a category, whose objects provide the operad colors, equipped…

Mathematical Physics · Physics 2021-01-19 Marco Benini , Alexander Schenkel , Lukas Woike

Varieties of quantitative algebras are fully described by their free-algebra monads on the category Met of metric spaces. For a longer time it has been an open problem whether the resulting enriched monads are precisely the strongly…

Category Theory · Mathematics 2026-02-06 Jiri Adamek

Let $G$ be a simple complex Lie group with Lie algebra $\mf g$ and let $\af$ be the affine Lie algebra. We use intertwining operators and Knizhnik-Zamolodchikov equations to construct a family of $\N$-graded vertex operator algebras…

Quantum Algebra · Mathematics 2007-11-20 Minxian Zhu

We study the operadic and categorical formulations of (conformal) full field algebras. In particular, we show that a grading-restricted $\R\times \R$-graded full field algebra is equivalent to an algebra over a partial operad constructed…

Quantum Algebra · Mathematics 2011-04-11 Liang Kong

It is a classical result of categorical algebra, due to Lawvere and Linton, that finitary varieties of algebras (in the sense of Birkhoff) are dually equivalent to finitary monads on $Set$. Recent work of Ad\'amek, Dost\'al, and Velebil has…

Category Theory · Mathematics 2023-10-10 Jason Parker

This paper introduces a skew variant of the notion of enriched category, suitable for enrichment over a skew-monoidal category, the main novelty of which is that the elements of the enriched hom-objects need not be in bijection with the…

Category Theory · Mathematics 2018-10-09 Alexander Campbell

We provide a generalization of Mundici's equivalence between unital Abelian lattice-ordered groups and MV-algebras: the category of unital commutative lattice-ordered groups is equivalent to the category of MV-monoidal algebras. Roughly…

Logic · Mathematics 2022-11-09 Marco Abbadini

We define the concept of weak pseudotwistor for an algebra $(A, \mu)$ in a monoidal category $\mathcal{C}$, as a morphism $T:A\otimes A\rightarrow A\otimes A$ in $\mathcal{C}$, satisfying some axioms ensuring that $(A, \mu \circ T)$ is also…

Quantum Algebra · Mathematics 2016-04-20 Florin Panaite , Freddy Van Oystaeyen

Usually a name of the category is inherited from the name of objects. However more relevant for a category of objects and morphisms is an algebra of morphisms. Therefore we prefer to say a category of graphs if every morphism is a graph. In…

Logic · Mathematics 2011-03-29 Maria Ernestina Chavez Rodriguez , Zbigniew Oziewicz