Lifting of monads to Grothendieck toposesPublished bysinhp.github.ioon •1 min readWarning: These notes are severely incomplete! Hopefully I will finish them soon.LiftingMonadsGrothendieckToposesLearn moreShareLegalReport
