Implication Details
Claim: Given a functor whose domain has binary coproducts, if it preserves binary coproducts and preserves reflexive coequalizers, then it preserves coequalizers.
Proof: This follows from the dual implication.
This implication has a dual.
Show 11 functors using this implication
- binary product functor on sets
- forgetful functor from rings to monoids
- forgetful functor for groups
- forgetful functor from groups to pointed sets
- forgetful functor from Hausdorff spaces to topological spaces
- forgetful functor for rings
- forgetful functor from torsion-free abelian groups to abelian groups
- forgetful functor for vector spaces
- path components functor
- contravariant power set functor
- squaring functor on sets