Actads

DOI10.1007/S11425-021-1902-3MaRDI QIDQ2169098zbMATH OpenOpenAlexFDO

Authors Sophie Kriz

Publication date 29 August 2022

Published in Science China. Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2108.08413

zbMATH Keywords

actadsinfinite loop spacesoperadsordinalsuniversal algebra

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15) Operads (general) (18M60) Higher categories and homotopical algebra (18N99) Infinite loop spaces (55P47)

Abstract: In this paper, I introduce a new generalization of the concept of an operad, further generalizing the concept of an opetope introduced by Baez and Dolan, who used this for the definition of their version of non-strict $n$-categories. Opetopes arise from iterating a certain construction on operads called the $+$-construction, starting with monoids. The first step gives rise to plain operads, i.e. operads without symmetries. The permutation axiom in a symmetric operad, however, is an additional structure resulting from permutation of variables, independent of the structure of a monoid. Even though we can apply the $+$-construction to symmetric operads, there is the possibility of introducing a completely different kind of permutations on the higher levels by again permuting variables without regard to the structure on the previous levels. Defining and investigating these structures is the main purpose of this paper. The structures obtained in this way is what I call $n$-actads. In $n$-actads with $n>1$, the permutations on the different levels give rise to a certain special kind of $n$-fold category. I also explore the concept of iterated algebras over an $n$-actad (generalizing an algebra and module over an operad), and various types of iterated units. I give some examples of algebras over $2$-actads, and show how they can be used to construct certain new interesting homotopy types of operads. I also discuss a connection between actads and ordinal notation.

Recommendations

• Infinity operads and monoidal categories with group equivariance
• scientific article; zbMATH DE number 1757930
• scientific article; zbMATH DE number 1978924
• Nonsymmetric operads in combinatorics
• Operads within monoidal pseudo algebras
• Operads and Operadic Algebras in Homotopy Theory
• Constructing combinatorial operads from monoids
• Moment categories and operads
• Operads revisited
• Operads and algebraic combinatorics of trees

Cites work

• \(E_{\infty}\) algebras and \(p\)-adic homotopy theory
• A convenient category of topological spaces
• Heterogeneous algebras
• Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
• scientific article; zbMATH DE number 2134022 (Why is no real title available?)
• scientific article; zbMATH DE number 4026345 (Why is no real title available?)
• scientific article; zbMATH DE number 3484889 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 692330 (Why is no real title available?)
• scientific article; zbMATH DE number 2028926 (Why is no real title available?)
• scientific article; zbMATH DE number 2152044 (Why is no real title available?)
• scientific article; zbMATH DE number 3441269 (Why is no real title available?)
• scientific article; zbMATH DE number 3383299 (Why is no real title available?)
• Introduction to bicategories
• Koszul duality for operads
• Koszul Resolutions
• Lax Monoidal Fibrations
• List Objects with Algebraic Structure
• Monads of regular theories
• Multiplicative infinite loop space theory
• On the derived category of an algebra over an operad
• On weak higher dimensional categories. I: Part 1
• On weak higher-dimensional categories. I: Part 3
• On weak higher-dimensional categories. I. 2
• Polynomial functors and opetopes
• Rings, modules, and algebras in infinite loop space theory
• Syntactic approaches to opetopes
• The geometry of iterated loop spaces
• The homology of iterated loop spaces
• The spectra associated to permutative categories
• The web monoid and opetopic sets
• Theories of analytic monads
• Types for Proofs and Programs
• Weak n-categories: Comparing opetopic foundations.
• Weak \(n\)-categories: Opetopic and multitopic foundations.

Cited in

(1)

• Moment categories and operads

Describes a project that uses

Uses Software

• Opetopic

This page was built for publication: Actads

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