Category theory is a branch of abstract mathematics concerned with exposing and describing the underlying structure of logical and mathematical systems.
Who first said the following? A monad is just a monoid in the category of endofunctors, what's the problem? And …
haskell monads category-theory monoidsI've seen the term Free Monad pop up every now and then for some time, but everyone just seems to …
haskell monads category-theory free-monadI have heard the term "coalgebras" several times in functional programming and PLT circles, especially when the discussion is about …
scala haskell functional-programming category-theory recursion-schemesYes, these ones: {-#LANGUAGE TypeOperators, RankNTypes #-} import Control.Morphism.Zygo import Control.Morphism.Prepro import Control.Morphism.Histo …
haskell functional-programming category-theory