Alizter opened this issue 7 months ago · 0 comments
As discussed in #2034 we should reprove the functorality of Ab coequalizers using functoriality of the underlying constructions.