What is the Grothendieck construction for double categories? We explore one possible answer to this question, based on the perspective that double categories are categories internal to Cat. In fact, we suggest a general procedure for doing the Grothendieck construction on any structure that is defined internally to Cat.
This is a companion discussion topic for the original entry at https://www.epatters.org/post/double-grothendieck