Proposition has_coequalizers

Quick Reference

Web ID 43162acc-1023-4f79-b493-2d043f7c1db6
Description True if the category has a coequalizer of every parallel pair of morphisms.