Open claims about orthogonal factorization systems

[fredrik-bakke]

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