The 2-category of effectful categories

Last updated May 18, 2023

• Effectful category