On bi-enriched $\infty$-categories

TL;DR

This paper extends Lurie's framework for enriched ∞-categories to include left, right, and bi-enriched variants, enabling new constructions and formulas for enriched functors, Kan extensions, and tensor products.

Contribution

It introduces a comprehensive theory of bi-enriched ∞-categories, generalizing existing concepts and providing new tools for enrichment, functor categories, and transfer of enrichment.

Findings

Constructed enriched Kan-extensions from operadic Kan-extensions.

Computed the monad for enriched functors.

Proved an end formula for morphism objects.

Abstract

We extend Lurie's definition of enriched $\infty$-categories to notions of left enriched, right enriched and bienriched $\infty$-categories, which generalize the concepts of closed left tensored, right tensored and bitensored $\infty$-categories and share many desirable features with them. We use bienriched $\infty$-categories to endow the $\infty$-category of enriched functors with enrichment that generalizes both the internal hom of the tensor product of enriched $\infty$-categories when the latter exists, and the free cocompletion under colimits and tensors. As an application we construct enriched Kan-extensions from operadic Kan-extensions, compute the monad for enriched functors, prove an end formula for morphism objects of enriched $\infty$-categories of enriched functors and a coend formula for the relative tensor product of enriched profunctors and construct transfer of enrichment from scalar extension of presentably bitensored $\infty$-categories. In particular, we develop an independent theory of enriched $\infty$-categories for Lurie's model of enriched $\infty$-categories.