mirror of
https://github.com/abuseofnotation/category-theory-illustrated.git
synced 2024-09-11 17:08:54 +03:00
Update readme.md
This commit is contained in:
parent
daa5669010
commit
ac9e76cd2e
13
readme.md
13
readme.md
@ -1,10 +1,11 @@
|
||||
This book is a product of my own endeavour of understanding category theory from a more non-mathematical viewpoint - it is just that as I am explaining something, I am understanding it better.
|
||||
Category Theory Illustrated
|
||||
===
|
||||
|
||||
It is aimed at programmers, as well as anyone else who is interested in this stuff. I am writing it as I learn.
|
||||
> This project is pretty much frozen as there are a billion good resources on the subject, written by people who are more qualified than me.
|
||||
.
|
||||
|
||||
The main reason I am interested in Category Theory is that it allows us to formalise some common concepts that we use in our daily (intellectual) lives. Much of our language is based on intuition and rightfully so: relying on intuition is a very easy way to get your point across so it is understood by other human beings. However, that is part of the problem: sometimes intuition makes it too easy to communicate with someone. So easy that he might, in fact, understand things that you haven't actually said. For example, when I say that two things are equal, it would seem obvious to you what I mean, although it isn't obvious at all (how are they equal, at what context etc). That is the place when we might want to provide a more rigorous definition of what am I saying (even if I did not have one, to begin with). But providing such definition in natural language, which is designed to use intuition as a means of communication, is no easy task. It is in these situations that people often resort to *diagrams* to explain their thoughts. Diagrams are ubiquitous in science and mathematics because they are an understandable way to communicate a formal concept clearly. Category theory formalises the concept of a diagram and their components - arrows and objects and creates *a* language for presenting all kinds of ideas.
|
||||
This is a book about Category Theory that I started writing. Read it at
|
||||
|
||||
## Summary
|
||||
http://boris-marinov.github.io/category-theory-illustrated/
|
||||
==
|
||||
|
||||
* [Sets](/01_set/text.md)
|
||||
* [From Sets to Categories](/02_more_sets/text.md)
|
||||
|
Loading…
Reference in New Issue
Block a user