Factorization systems (both weak and strong) are commonly defined as consisting of two classes of maps satisfying a certain orthogonality relation and a factorization axiom. The standard definition of algebraic weak factorization system, involving comonads and monads, is rather different. The goal of this talk will be to describe an equivalent definition of algebraic weak factorization system emphasising orthogonality and factorization.
This video is part of Masaryk University‘s Algebra seminar.
