#monad

3 topics

Formal Sciences And Logic

Adjunction Unit and CounitResearchAlgebras over a MonadResearchMonads in Category TheoryResearch