/explore
|
You are here 
|
www.greaterwrong.com | ||
| | | | |
bartoszmilewski.com
You don't need to know anything about category theory to use Haskell as a programming language. But if you want to understand the theory behind Haskell or contribute to its development, some familiarity with category theory is a prerequisite. Category theory is very easy at the beginning. I was able to explain what a category... |
|
| | | | | ||
| | | | |
www.jeremykun.com
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. |
|
| | | | | ||
| | | | |
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 15 of Categories for Programmers. Previously: Representable Functors. See the Table of Contents. Most constructions in category theory are generalizations of results from other more specific areas of mathematics. Things like products, coproducts, monoids, exponentials, etc., have been known long before category theory. They might have been known under different names in... |
|
| | | |||
