apg_typeside t apg_instance G1 : s apg_instance G2 : s apg_morphism h : G1 -> G2 apg_morphism h' : G1 -> G2 ---------------------------------- apg_morphism (coequalize h h') : G2 -> coequalize h h'CoEqualizer morphism of two parallel morphisms in the category of APGs.