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 .
Articles by others on the same topic
There are currently no matching articles.