A coequalizer is an equalizer in the opposite category
Date: nil
Author: Anton Zakrewski
Created: 2024-10-13 So 15:42