CatDat

Implication Details

Assumptions: conservativepreserves reflexive coequalizersright adjoint

Assumptions on source category: reflexive coequalizers

Conclusions: monadic

Proof: This is the crude monadicity theorem. A proof can be found in Mac Lane & Moerdijk, Thm. IV.4.2.

Show 6 functors using this implication