Thomason's colimit theorem for the double category of elements
arXiv:2506.08246
Abstract
We show that, for any 2-category and 2-functor , the double category of elements introduced by Grandis and Paré satisfies a version of Thomason's colimit theorem; that is, there is a weak homotopy equivalence .
14 pages + references