2025/01/02 by Branko Juran, Juran, Branko · 1 citation
Mathematics · Decision Sciences · #Advanced Topics in Algebra #Rings, Modules, and Algebras #Fuzzy and Soft Set Theory
paper · pdf · doi:10.48550/arxiv.2501.01363
We prove that the ∞-category of orthogonal factorization systems embeds fully faithfully into the ∞-category of double ∞-categories. Moreover, we prove an (un)straightening equivalence for double ∞-categories, which restricts to an (un)straightening equivalence for op-Gray fibrations and curved orthofibrations of orthogonal factorization systems.