English

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.

Keywords

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

R2 v1 2026-06-23T11:58:39.988Z