Abstract:We develop a theory of weighted colimits in the framework of weakly bienriched $\infty$-categories, an extension of Lurie's notion of enriched $\infty$-categories. We prove an existence result for weighted colimits, study weighted colimits of diagrams of enriched functors, express weighted colimits via enriched coends, characterize the enriched $\infty$-category of enriched presheaves as the free cocompletion under weighted colimits, prove a Bousfield-Kan formula for weighted colimits and an enriched adjoint functor theorem and develop a theory of universally adjoining weighted colimits to an enriched $\infty$-category. Via the latter we construct for every presentably $\mathbb{E}_{k+1}$-monoidal $\infty$-category $\mathcal{V}$ for $1 \leq k \leq \infty$ and set $\mathcal{H}$ of weights a presentably $\mathbb{E}_k$-monoidal structure on the $\infty$-category of $\mathcal{V}$-enriched $\infty$-categories that admit $\mathcal{H}$-weighted colimits. Varying $\mathcal{H}$ this $\mathbb{E}_k$-monoidal structure interpolates between the tensor product for $\mathcal{V}$-enriched $\infty$-categories and the relative tensor product for $\infty$-categories presentably left tensored over $\mathcal{V}$. Studying functoriality in $\mathcal{H}$ we deduce that taking $\mathcal{V}$-enriched presheaves is $\mathbb{E}_k$-monoidal with respect to the tensor product on small $\mathcal{V}$-enriched $\infty$-categories and the relative tensor product on $\infty$-categories presentably left tensored over $\mathcal{V}.$ As key applications we construct for every $n \geq 1 $ and set $\mathcal{K}$ of $(\infty, n)$-categories a tensor product for $(\infty,n)$-categories that admit $\mathcal{K}$-indexed (op)lax colimits, a tensor product for Cauchy-complete $\mathcal{V}$-enriched $\infty$-categories and tensor products for (Cauchy complete) $n$-stable, $n$-additive and $n$-preadditive $(\infty,n)$-categories.

Constructing monads from cubical diagrams and homotopy colimits

Diagrammatics for Comodule Monads

Generalization of formal monad theory to lax functors

A monadicity theorem for higher algebraic structures

Interacting Monoidal Structures with Applications in Computing

Comodule Representations of Second-Order Functionals

A monoidal Dold-Kan correspondence for comodules

A diagrammatic approach to Hopf monads

Monoidal bicategories, differential linear logic, and analytic functors

Group completions and the homotopical monadicity theorem

Quasi-tame substitudes and the Grothendieck construction

Homological algebra of semimodules and semicontramodules: Semi-infinite homological algebra of associative algebraic structures

The costructure-cosemantics adjunction for comodels for computational effects

Eilenberg-Moore categories and quiver representations of monads and comonads

A calculus on lax functors

Monopoles, twisted integral homology, and Hirsch algebras

Extended Stone Duality via Monoidal Adjunctions

Kan Extensions are Partial Colimits

The higher algebra of weighted colimits

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