Open claims about orthogonal factorization systems
Opened this issue · 0 comments
fredrik-bakke commented
The following claims are waiting to be formalized in orthogonal-factorization-systems.orthogonal-factorization-systems:
- An orthogonal factorization system is uniquely determined by its right class
- The right class of an orthogonal factorization system is pullback-stable