boris-marinov/category-theory-illustrated
1
1
Fork 0
mirror of https://github.com/boris-marinov/category-theory-illustrated.git synced 2024-07-07 07:16:18 +03:00
Code Issues Projects Releases Wiki Activity

stuff

Browse Source
This commit is contained in:
Boris Marinov 2023-09-15 14:14:07 +03:00
parent 8af0484501
commit 96e07b3566
2 changed files with 14 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
_chapters/06_numbers.md Normal file
View File

@ -0,0 +1,11 @@
Peano
----
Learning mathematics, can feel overwhelming, because of the huge, even infinite, body of knowledge: how do you proceed so big of a task? But it turns out the answer is simple: you start off knowing 0 things, 0 theories. Then, you learn 1 theory - congrats, you have learned your first theory and so you would know a total of 1 theories. Then, you learn 1 more theory and you would already know a total of 2 theories. Then learn 1 more theory and then 1 more and, given enough time and dedication, you may learn all theories.
This little argument applies not only to learning mathematical theories, but to everything else that is "countable", so to say. This is because it is the basis of the mathematical definition of natural numbers, as famously syntesized in the 19th century by the Italian mathematician Giuseppe Peano:
1. $0$ is a natural number.
2. If $n$ is a naturan number, $n+1$ is a natural number.
And then, he gave the following laws.

8
index.md
View File

@ -6,8 +6,6 @@ title: index
Category Theory Illustrated is a primer in category theory and other mathematical theories that is made to be *really* accessible to people with no prior exposure to the subject, without being dumbed down, by utilizing visual explanations.
The book serves as chapter 0 going through the gist of the material covered by other similar introductory books, but doing so in a way that would enable non-mathematicians to easily comprehend.
[![cover.svg](cover.svg)](00_about)
[Read online](00_about)
@ -37,9 +35,9 @@ Praise
Let's talk: publishers, co-authors, contributors
===
I want to make this book into the best introductory text, not only to category theory, but to mathematics as a whole. It seems that I would need some help, though:
I want to make this book into the best introductory text, not only to category theory, but to mathematics as a whole. It seems that I would need some help, though.
- I am looking for a *publisher* who is willing to release this book on paper. I have some more content that I can provide for the printed version. I am very flexible for the most part.
- I am looking for a *publisher* who is willing to work release this book. I have some more content that I can provide for the printed version. I am very flexible for the most part, aside from the fact that some of its content would remain open souce.
- I am also looking for co-authors and/or technical reviewers with good experience in category theory, who are willing to help with polishing and enriching the text.
@ -47,4 +45,4 @@ I want to make this book into the best introductory text, not only to category t
- Even if this is the first book on math you read, you can still help me — let me know what parts are hard for you to understand and let's figure out why.
You can contact me via [email](mailto:marinovboris@protonmail.com). For other means of contact, see the footer.
You can contact me via [email](mailto:marinovboris@protonmail.com) or post an issue or PR on [Github](https://github.com/abuseofnotation/category-theory-illustrated). For other means of contact, see the footer.