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