On strong monads in computer science:
On graded monads in computer science as enriched relative monads (and on locally graded categories):
On formal theory of relative monads via virtual equipments:
Nathanael Arkor, Dylan McDermott, The formal theory of relative monads [arXiv:2302.14014]
Nathanael Arkor, Dylan McDermott, Relative monadicity (2023) [arXiv:2305.10405]
Last revised on October 14, 2023 at 06:54:06. See the history of this page for a list of all contributions to it.