Mario Román

Search

Search IconIcon to open search

monadicity theorem

Last updated Oct 7, 2024

Tags: adjunction, Monad.