Def category_theory.monad.beck_algebra_coequalizer

Modification history