Functor-split coequalizer pair
ID: functor-split-coequalizer-pair
For , a parallel pair in is G-split if its image admits a split coequalizer in . Reflection of such coequalizers means that an existing equalizing arrow in is a coequalizer whenever its image is the corresponding split coequalizer. This asserts a property of existing arrows; it does not assert that a lift exists for every base quotient.
New to topics? Read the docs here!