Introducing the notion of strong dinatural transformations:
Philip S. Mulry, Strong Monads, Algebras and Fixed Points, in: Applications of Categories in Computer Science, London Mathematical Society Lecture Note Series 177 (1991) 202–216 [doi:10.1017/CBO9780511525902.012]
Philip S. Mulry: Strong monads, algebras and fixed points, Applications of Categories in Computer Science 177 (1992) 202–216 [doi:10.1017/CBO9780511525902.012]
On monads in computer science:
On distributive laws for monads:
Last revised on July 25, 2024 at 16:59:47. See the history of this page for a list of all contributions to it.