On monads (old term: “triples”), and their monad transformations in relation to their Eilenberg-Moore categories:
Created on September 18, 2023 at 07:19:15. See the history of this page for a list of all contributions to it.