Thomason's colimit theorem for the double category of elements

Andrew Gill, Maru Sarazola

We show that, for any 2-category $C$ and 2-functor $F:C\to Cat$, the double category of elements ${\iint }_{C}F$ introduced by Grandis and Paré satisfies a version of Thomason'…