The Frobenius equivalence and Beck-Chevalley condition for Algebraic Weak Factorisation Systems
From MaRDI portal
Publication:6531825
arXiv2404.15443MaRDI QIDQ6531825
Wijnand van Woerkom, Benno van den Berg
Factorization systems, substructures, quotient structures, congruences, amalgams (18A32) 2-categories, bicategories, double categories (18N10) Type theory (03B38)
This page was built for publication: The Frobenius equivalence and Beck-Chevalley condition for Algebraic Weak Factorisation Systems