category with finite limits generalized element Duskin’s monadicity theorem References nLab, on congruences.
