Implication Details
Claim: If a category has binary products and has pullbacks, then it has equalizers.
Proof: The equalizer of is the pullback of with the diagonal .
Show 8 categories using this implication
- delooping of a group
- delooping of an infinite countable group
- delooping of a non-trivial finite group
- delooping of an infinite uncountable group
- delooping of the additive monoid of natural numbers
- category of finitely generated projective modules over the ring of dual numbers
- category of schemes
- category of non-empty sets