Implication Details
Assumptions: conservative, preserves reflexive coequalizers, right adjoint
Requirements of the source: 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 8 functors using this implication
- binary diagonal functor on the category of sets
- contravariant power set functor
- forgetful functor from abelian groups to groups
- forgetful functor from groups to monoids
- forgetful functor from groups to pointed sets
- forgetful functor from rings to monoids
- indiscrete topology functor
- squaring functor on sets