Mario Román

Search

Search IconIcon to open search

The 2-category of effectful categories

Last updated May 18, 2023

the-2-category-of-effectful-categories