3 ms·
Of course it does. It uses category theory after all https://people.mpim-bonn.mpg.de/gaitsgde/GLC/Loc.pdf https://people.mpim-bonn.mpg.de/gaitsgde/GLC/Loc.pdf
by nextaccountic 2y ago
Of course it does. It uses category theory after all
https://people.mpim-bonn.mpg.de/gaitsgde/GLC/Loc.pdf https://people.mpim-bonn.mpg.de/gaitsgde/GLC/Loc.pdf (the second paper, more than 400 pages), ctrl+f monad
It's not a lot of monads. There are wayyy more functors for example