Explore >> Select a destination


You are here

bartoszmilewski.com
| | www.jeremykun.com
10.8 parsecs away

Travel
| | For a list of all the posts on Category Theory, see the Main Content page. It is time for us to formally define what a category is, to see a wealth of examples. In our next post we'll see how the definitions laid out here translate to programming constructs. As we've said in our soft motivational post on categories, the point of category theory is to organize mathematical structures across various disciplines into a unified language.
| | tm.durusau.net
7.2 parsecs away

Travel
| |
| | cronokirby.com
9.7 parsecs away

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

Travel
|