Download this article
 Download this article For screen
For printing
Recent Issues

Volume 23
Issue 9, 3909–4400
Issue 8, 3417–3908
Issue 7, 2925–3415
Issue 6, 2415–2924
Issue 5, 1935–2414
Issue 4, 1463–1934
Issue 3, 963–1462
Issue 2, 509–962
Issue 1, 1–508

Volume 22, 8 issues

Volume 21, 7 issues

Volume 20, 7 issues

Volume 19, 7 issues

Volume 18, 7 issues

Volume 17, 6 issues

Volume 16, 6 issues

Volume 15, 6 issues

Volume 14, 6 issues

Volume 13, 6 issues

Volume 12, 4 issues

Volume 11, 5 issues

Volume 10, 4 issues

Volume 9, 4 issues

Volume 8, 4 issues

Volume 7, 4 issues

Volume 6, 5 issues

Volume 5, 4 issues

Volume 4, 2 issues

Volume 3, 2 issues

Volume 2, 2 issues

Volume 1, 2 issues

The Journal
About the Journal
Editorial Board
Editorial Interests
Subscriptions
 
Submission Guidelines
Submission Page
Policies for Authors
Ethics Statement
 
ISSN (electronic): 1472-2739
ISSN (print): 1472-2747
Author Index
To Appear
 
Other MSP Journals
A model structure for weakly horizontally invariant double categories

Lyne Moser, Maru Sarazola and Paula Verdugo

Algebraic & Geometric Topology 23 (2023) 1725–1786
Abstract

We construct a model structure on the category DblCat of double categories and double functors, whose trivial fibrations are the double functors that are surjective on objects, full on horizontal and vertical morphisms, and fully faithful on squares; and whose fibrant objects are the weakly horizontally invariant double categories.

We show that the functor : 2Cat DblCat , a more homotopical version of the usual horizontal embedding , is right Quillen and homotopically fully faithful when considering Lack’s model structure on 2Cat . In particular, exhibits a levelwise fibrant replacement of . Moreover, Lack’s model structure on 2Cat is right-induced along from the model structure for weakly horizontally invariant double categories.

We also show that this model structure is monoidal with respect to Böhm’s Gray tensor product. Finally, we prove a Whitehead theorem characterizing the weak equivalences with fibrant source as the double functors which admit a pseudoinverse up to horizontal pseudonatural equivalence.

Keywords
model structure, double categories, 2–categories, monoidal model structure, Whitehead theorem
Mathematical Subject Classification
Primary: 18D20, 18N10, 18N40
References
Publication
Received: 27 August 2020
Revised: 16 November 2021
Accepted: 14 December 2021
Published: 14 June 2023
Authors
Lyne Moser
Max Planck Institute for Mathematics
Bonn
Germany
Maru Sarazola
Department of Mathematics
Johns Hopkins University
Baltimore, MD
United States
Paula Verdugo
Department of Mathematics and Statistics
Macquarie University
Sydney, NSW
Australia

Open Access made possible by participating institutions via Subscribe to Open.