Explore >> Select a destination


You are here

jackkelly.name
| | ncatlab.org
2.9 parsecs away

Travel
| |
| | bartoszmilewski.com
1.6 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...
| | cronokirby.com
3.3 parsecs away

Travel
| | - Read more: https://cronokirby.com/posts/2020/10/categorical-graphs/
| | hookrace.net
20.6 parsecs away

Travel
|