Exponentiable Virtual Double Categories and Representability of Exponentials

Kevin D. Carlson, Ea E Thompson

Virtual double categories provide an effective framework for formal category theory. Recent work has investigated the question of higher morphisms between virtual double categories…