/explore
|
You are here 
|
blog.sigfpe.com | ||
| | | | |
cronokirby.com
Exploring 3 different ways of encoding the natural numbers - Read more: https://cronokirby.com/posts/2020/08/encoding-the-naturals/ |
|
| | | | | ||
| | | | |
bartoszmilewski.com
This is part 31 of Categories for Programmers. Previously: Lawvere Theories. See the Table of Contents. There is no good place to end a book on category theory. There's always more to learn. Category theory is a vast subject. At the same time, it's obvious that the same themes, concepts, and patterns keep showing up... |
|
| | | | | ||
| | | | |
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... |
|
| | | | | ||
| | | | |
mariejosephine.wordpress.com
THE BIRDS AND THE BEES HAS JUST MOVED TO http://gabrielacurraleira.wordpress.com |
|
| | | |||
