Proper factorization systems in 2-categories

From MaRDI portal
Publication:1869192