beuke.org

A personal blog about computer science, theoretical physics and other interesting topics.

Semigroup
An Associative Magma
Posted on Aug 29 2023 ~ 3 min read
#category theory  #haskell  #abstract algebra 
Monoid
A Semigroup with Identity
Posted on Aug 27 2023 ~ 5 min read
#category theory  #abstract algebra 
Monad
A Monoid in the Category of Endofunctors
Posted on Jul 25 2023 ~ 6 min read
#category theory  #abstract algebra  #monads