Double categorical equivalences

Abstract

We present an efficient and user-friendly method for constructing any cofibrantly generated model structure on the category of double categories whose trivial fibrations are the "canonical" ones: the double functors which are surjective on objects, full on both horizontal and vertical morphisms, and fully faithful on squares. We show that all of these model structures are left proper and that they are localizations of the gregarious model structure introduced by Campbell. As a notable consequence, this identifies the gregarious weak equivalences as the "canonical" equivalences of double categories, an elusive notion thus far. Moreover, the nature of our method gives an explicit description of the fibrant objects in terms of lifting conditions. We use this to recover several known model structures, as well as construct several new examples whose homotopy theories encode a range of $2$-dimensional structures.