Explore >> Select a destination


You are here

blog.sigfpe.com
| | cronokirby.com
11.7 parsecs away

Travel
| | Exploring 3 different ways of encoding the natural numbers - Read more: https://cronokirby.com/posts/2020/08/encoding-the-naturals/
| | thehousecarpenter.wordpress.com
11.7 parsecs away

Travel
| | A natural transformation is an operation on a category, or more precisely a family of operations, one for each object in the category, which is preserved by morphisms in the category. Each operation in the family is associated with a specific object $latex A$ in the category, which it is said to be on. The...
| | bartoszmilewski.com
12.0 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...
| | johnbender.us
100.9 parsecs away

Travel
| Writings on computer stuff.