Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Created page, with definition.
Berger-Mellies-Weber claim that the nerve theorem for monads with arities constructs Eilenberg-Moore and Kleisli objects in the 2-category of categories with arities, but as far as I can see their proof as written only shows that the Eilenberg-Moore adjunction lives in this 2-category, not that it retains its universal property there. Is there a quick way to see that it does? If this is true, then I think it gives an even more “natural” explanation of the nerve construction, along the lines of Tom’s original blog post.
1 to 1 of 1