Reflexive coequalizer

ID: reflexive-coequalizer

A reflexive coequalizer is a coequalizer of a reflexive pair, meaning a parallel pair with a common section satisfying . A functor preserves reflexive coequalizers when it takes every such coequalizer to a coequalizer of the image pair.

New to topics? Read the docs here!