The double category of elements of a 2-functor is weakly homotopy equivalent to the homotopy colimit of that 2-functor.
Grothendieck construction for bicategories
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
background 1
citation-polarity summary
fields
math.CT 1years
2025 1verdicts
ACCEPT 1roles
background 1polarities
background 1representative citing papers
citing papers explorer
-
Thomason's colimit theorem for the double category of elements
The double category of elements of a 2-functor is weakly homotopy equivalent to the homotopy colimit of that 2-functor.