Enhanced twisted arrow categories

Abstract

We give a construction for a (restricted version) of the cartesian fibration associated to the mapping category functor of an ∞-bicategory and use this construction to compute natural transformations between functors with source an ∞-category and target an ∞-bicategory.