/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

blog.sigfpe.com
| | jackkelly.name
4.5 parsecs away

Travel
| |
| | bartoszmilewski.com
4.5 parsecs away

Travel
| | 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...
| | matthew.brecknell.net
4.3 parsecs away

Travel
| |
| | jao.io
38.4 parsecs away

Travel
|