1lab icon indicating copy to clipboard operation
1lab copied to clipboard
verified publisher icon plt-amy

Duskin's Monadicity Theorem

Open TOTBWF opened this issue 3 years ago • 0 comments

Description

This PR proves Duskin's Monadicity Theorem, and also provides the associated machinery. This closes #74. I'm also proving the version found in the Handbook of Categorical Algebra

Checklist

  • [x] Split Epis/Monos
  • [x] Split Coequalizers
  • [ ] Conservative Functors Reflect Colimits (that they preserve)
  • [ ] Duskin's Monadicity Theorem

TOTBWF avatar May 15 '22 17:05 TOTBWF