Lifting bicategories through the Grothendieck construction
Category Theory
2019-10-30 v1
Abstract
We treat the problem of lifting bicategories into double categories through categories of vertical morphisms. We make use of a specific instance of the Grothendieck construction to provide, for every bicategory equipped with a possible vertical category, together with a suitable monoidal pre-cosheaf relating these two structures, a double category lifting the decorated bicategory along the category of vertical morphisms provided as set of initial conditions. We prove in particular that every decorated bicategory admits a lift to a double category. We study relations of instances of our construction to foldings, cofoldings, framed bicategories and globularily generated double categories.
Cite
@article{arxiv.1910.13417,
title = {Lifting bicategories through the Grothendieck construction},
author = {Juan Orendain},
journal= {arXiv preprint arXiv:1910.13417},
year = {2019}
}
Comments
41 pages