Add reference to The free adjunction.
]]>Disambiguate between the two meanings of “2-category of adjunctions”
]]>Yes, their “2-category of adjunctions” is by definition , not the 2-category we’re calling on this page. Perhaps this page should mention both, since this confusion seems likely to be common.
]]>Have I garbled the end of The free adjunction?
]]>The inclusion of , the free monad, in induces a 2-functor from the 2-category of adjunctions in to the 2-category of monads in .
This doesn’t make sense to me. is not the functor 2-category – as it says earlier on the page, the objects of are the objects of while its morphisms are the functors – so I don’t see any “precomposition” functor going on.
]]>[I wish I could have deleted this comment.]
]]>I would probably write for the 2-category and for the double category. That doesn’t work in a page title, though.
]]>Re #5, can’t we have two fonts here? Which should they be?
]]>Made corrections.
]]>Yes, well, in a latex paper I would use two different fonts for the “”.
]]>I see at mate it speaks about the double category, . But this is the notation I just used for the 2-category of adjunctions in .
]]>I suppose we ought also to have a page on the double category of adjunctions that figures in the mate correspondence.
]]>Added something on the map from adjoints in to monafs in .
]]>Started this page. No doubt it could be more elegant.
]]>