Double Orthogonal Factorization Systems
C. B. Aberlé, Elena Caviglia, Matthew Kukla, Rubén Maldonado, Luca Mesiti, Dorette Pronk, Tanjona Ralaivaosaona
公開日: 2025/9/30
Abstract
We define strict and lax orthogonal factorization systems on double categories. These consist of an orthogonal factorization system on arrows and one on double cells that are compatible with each other. Our definitions are motivated by several explicit examples, including factorization systems on double categories of spans, relations and bimodules. We then prove monadicity results for orthogonal factorization systems on double categories in order to justify our definitions. For fibrant double categories we discuss the structure of the double orthogonal factorization systems that have a given orthogonal factorization system on the arrows in common. Finally, we study the interaction of orthogonal factorization systems on double categories with double fibrations.