• dukk
    link
    fedilink
    arrow-up
    19
    ·
    2 年前

    A monad is just a monoid in the category of endofunctors.