Definition 5.1.
A modality in \(T\) is a factorization system \((L,R)\) in \(T\) such that \(L\) is stable under base change.
Definition 5.1.
A modality in \(T\) is a factorization system \((L,R)\) in \(T\) such that \(L\) is stable under base change.