congruence

Last updated Apr 14, 2025

• category with finite limits
• generalized element
• Duskin’s monadicity theorem

References

• nLab, on congruences.