Internalizations of decorated bicategories via ${\pi }_2$-indexings

Juan Orendain, Ruben Maldonado

We treat the problem of lifting bicategories into double categories through categories of vertical morphisms. We consider structures on decorated 2-categories allowing us to formal…