2 ms·
Funny that you mention this, you can construct monads with this in some sense. GCT talks about adjointness (it's analogous to William Levwere's work "adjointne
by adamnemecek 7y ago
Funny that you mention this, you can construct monads with this in some sense.
GCT talks about adjointness (it's analogous to William Levwere's work "adjointness in foundations"). One can build monads from adjoint functors.
http://www.stephendiehl.com/posts/adjunctions.html http://www.stephendiehl.com/posts/adjunctions.html