1 problem
Monadicity conjecture. If is eventually coconnective, then the functor is monadic. The paper states this as a conjectural assertion in the study…
Monadicity conjecture. If is eventually coconnective, then the functor is monadic. The paper states this as a conjectural assertion in the study…