Explore >> Select a destination
|
You are here 
|
jackkelly.name | ||
| | | | |
bartoszmilewski.com
|
|
| | | | | Abstract: I derive a free monoidal (applicative) functor as an initial algebra of a higher-order functor using Day convolution. I thought I was done with monoids for a while, after writing my Monoids on Steroids post, but I keep bumping into them. This time I read a paper by Capriotti and Kaposi about Free Applicative... | |
| | | | |
blog.sigfpe.com
|
|
| | | | | [AI summary] An in-depth technical exploration demonstrating how Haskell monads can be formally defined as monoids in the category of endofunctors using abstract categorical logic and functional programming code. | |
| | | | |
www.stephendiehl.com
|
|
| | | | | ||
| | | | |
rakhim.org
|
|
| | | [AI summary] A summary of Bartosz Milewski's talk exploring the equivalence between type theory, logic, category theory, and computer science through concepts like composition, Curry-Howard isomorphism, and continuations. | ||
