Proposition has_equalizers

Quick Reference

Web ID 3ec9d656-687e-40e2-901c-8bd62f7474b7
Description True if the category has an equalizer of each pair of parallel morphisms.