-
Weakly $ω$-Categorified Models of Algebraic Theories
Authors:
Phillip M Bressie,
David N Yetter
Abstract:
We provide the expected constructions of weakly $ω$-categorified models (in the sense of Bressie) of the theory of groups and quandles which arise by replacing the homotopies used to give equivalence relations in the theory of fundamental groups, fundamental quandles, and knot quandles with homotopies of all orders used as arrows of categorical dimensions one and greater, and discuss other related…
▽ More
We provide the expected constructions of weakly $ω$-categorified models (in the sense of Bressie) of the theory of groups and quandles which arise by replacing the homotopies used to give equivalence relations in the theory of fundamental groups, fundamental quandles, and knot quandles with homotopies of all orders used as arrows of categorical dimensions one and greater, and discuss other related constructions of weakly $ω$-categorifed algebras.
△ Less
Submitted 26 June, 2020;
originally announced June 2020.
-
The $ω$-categorification of Algebraic Theories
Authors:
Phillip M Bressie
Abstract:
Batanin and Leinster's work on globular operads has provided one of many potential defnitions of a weak $ω$-category. Through the language of globular operads they construct a monad whose algebras encode weak $ω$-categories. The purpose of this work is to show how to construct a similar monad which will allow us to formulate weak $ω$-categorifications of any equational algebraic theory. We first r…
▽ More
Batanin and Leinster's work on globular operads has provided one of many potential defnitions of a weak $ω$-category. Through the language of globular operads they construct a monad whose algebras encode weak $ω$-categories. The purpose of this work is to show how to construct a similar monad which will allow us to formulate weak $ω$-categorifications of any equational algebraic theory. We first review the classical theory of operads and PROs. We then present how Leinster's globular operads can be extended to a theory of globular PROs via categorical enrichment over the category of collections. It is then shown how a process called globularization allows us to construct from a classical PRO P a globular PRO whose algebras are those algebras for P which are internal to the category of strict $ω$-categories and strict $ω$-functors. Leinster's notion of a contraction structure on a globular operad is then extended to this setting of globular PROs in order to build a monad whose algebras are weakenings of the globularization of the classica PRO P. Among these weakenings is the initial weakining whose algebras are by construction the fully weakened $ω$-categorifications of the algebraic theory encoded by P.
△ Less
Submitted 17 September, 2023; v1 submitted 11 June, 2020;
originally announced June 2020.
-
On Tautological Globular Operads
Authors:
Phillip M Bressie
Abstract:
The purpose of this exposition is to compare the constructions of classical nonsymmetric operads (and their algebras) to that of the globular operads of Leinster and Batanin. It is hoped that, through this comparison, understanding algebras for globular operads can be made more intuitive and approachable. We begin by giving a description of the construction of the classical tautological, or endomo…
▽ More
The purpose of this exposition is to compare the constructions of classical nonsymmetric operads (and their algebras) to that of the globular operads of Leinster and Batanin. It is hoped that, through this comparison, understanding algebras for globular operads can be made more intuitive and approachable. We begin by giving a description of the construction of the classical tautological, or endomorphism, operad $taut(X)$ on a set $X$. We then describe how globular operads are a strict generalization of classical operads. From this perspective a description is given of the construction for the tautological globular operad $Taut(\mathcal{X})$ on a globular set $\mathcal{X}$ by way of describing the internal hom functor for the monoidal category $\boldsymbol{Col}$, of collections and collection homomorphisms, with respect to the monoidal composition tensor product used to define globular operads, all the while emphasizing comparisons to the analogous construction in the category of graded sets.
△ Less
Submitted 10 July, 2023; v1 submitted 1 May, 2018;
originally announced May 2018.
