Emily Riehl
A categorical view of computational effects