congruence References. Variations on Becks Tripeability Criterion (Duskin, 1969) nLab, on monadicity. Tags: monadicity theorem, creates limits, category with finite limits
