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!