Equalizer unit, counit naturality