69 citations · 219 across the 12 of their papers we have counts for
1 paper · 1 filter
Thosten Altenkirch, James Chapman, Tarmo Uustalu
We introduce a generalization of monads, called relative monads, allowing for underlying functors between different categories. Examples include finite-dimensional vector spaces, u…