Monads, like burritos, come in many different varieties. In computer science monads serve to streamline computational patterns such as exception handling and context management. We illustrate these ...

Pick a type of categorical structure: say bicategories, or monoidal categories, or whatever you like. Some of the functors between structures are equivalences, in whatever the appropriate sense might ...