The 2-category of effectful categories

• effectful category