English

A limit lifting theorem for fibrations between bicategories

Category Theory 2025-09-08 v1

Abstract

A standard result from the theory of Grothendieck fibrations states that if p:EBp : E \to B is a fibration, then EE has limits of shape J\mathcal{J} if BB has limits of shape J\mathcal{J} the fibers of E\mathcal{E} have limits of shape J\mathcal{J}, and the reindexing functors preserve these limits. Such a result is a basic tool when computing limits in a category known to be the total category of a fibration, for example, one that is defined using the Grothendieck construction. This paper states and proves a generalization of this theorem for fibrations between bicategories.

Keywords

Cite

@article{arxiv.2509.04639,
  title  = {A limit lifting theorem for fibrations between bicategories},
  author = {Patrick Nicodemus},
  journal= {arXiv preprint arXiv:2509.04639},
  year   = {2025}
}
R2 v1 2026-07-01T05:22:11.701Z