/explore
|
You are here 
|
bartoszmilewski.com | ||
| | | | |
cronokirby.com
Exploring 3 different ways of encoding the natural numbers - Read more: https://cronokirby.com/posts/2020/08/encoding-the-naturals/ |
|
| | | | | ||
| | | | |
argumatronic.com
Occasional writings about Haskell. |
|
| | | | | ||
| | | | |
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. |
|
| | | | | ||
| | | | |
thatsmaths.com
The numbers are usually studied in layers of increasing subtlety and intricacy. We start with the natural, or counting, numbers $latex {\mathbb{N} = \{ 1, 2, 3, \dots \}}&fg=000000$. Then come the whole numbers or integers, $latex {\mathbb{Z} = \{ \dots, -2, -1, 0, 1, 2, \dots \}}&fg=000000$. All the ratios of these (avoiding division... |
|
| | | |||
