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.

On a fat small object argument

Colimits in 2-dimensional slices

The higher algebra of weighted colimits

Semantic limits of dense combinatorial objects

An Enriched Small Object Argument Over a Cofibrantly Generated Base

Colimits of accessible categories

All about the Grothendieck construction

Colimits of categories, zig-zags and necklaces

Flat comodules and contramodules as directed colimits, and cotorsion periodicity

Taming large categories

Generic Compacta from Relations between Finite Graphs: Theory Building and Examples

The theory and applications of anticolimits

On Colimits and Model Structures in Various Categories of Manifolds

On lax limits in infinity categories

Coslice Colimits in Homotopy Type Theory

Sifted Colimits, Strongly Finitary Monads and Continuous Algebras

Limits and colimits of synthetic $\infty$-categories

Simplicial sets with a notion of smallness

Free colimit completion in $\infty$-categories

Flatness, weakly lex colimits, and free exact completions