Abstract:Batanin and Leinster's work on globular operads has provided one of many potential defnitions of a weak $\omega$-category. Through the language of globular operads they construct a monad whose algebras encode weak $\omega$-categories. The purpose of this work is to show how to construct a similar monad which will allow us to formulate weak $\omega$-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 $\omega$-categories and strict $\omega$-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 $\omega$-categorifications of the algebraic theory encoded by P.

An $\mathcal{O}$-monoidal Grothendieck construction

Operadic Fibrations and Unary Operadic 2-categories

The $ω$-categorification of Algebraic Theories

A monadicity theorem for higher algebraic structures

The operadic theory of convexity

Gröbner bases for operads

Unital operads, monoids, monads, and bar constructions

Operads as double functors

Regular categories, oligomorphic monoids, and tensor categories

Monoidal closure of Grothendieck constructions via $Σ$-tractable monoidal structures and Dialectica formulas

Eilenberg-Moore Bicategories for Opmonoidal Pseudomonads

Indexed Grothendieck construction

Outer functors and a general operadic framework

Constructing monoidal structures on fibered categories via factorizations

Algebras for enriched $\infty$-operads

Non-associative Categories of Octonionic Bimodules

Grothendieck's theory of fibred categories for monoids

Coproduct idempotent algebras over internal operads in enriched $\infty$-categories

Map monoidales and duoidal $\infty$-categories

Generalization of formal monad theory to lax functors

Model structures on operads and algebras from a global perspective