Coequalizer of a reflexive pair from a pushout

ID: coequalizer-of-a-reflexive-pair-from-a-pushout

For a reflexive pair with common section , form the pushout in a category of and , with maps . The equation , composed with , gives . This common map is a coequalizer of : every map equalizing them defines a commuting pair into the pushout and hence factors uniquely through .

New to topics? Read the docs here!