(Co)end Calculus
Loregian, Fosco
2021
https://doi.org/10.1017/9781108778657