abuseofnotation/category-theory-illustrated
1
1
Fork 0
mirror of https://github.com/abuseofnotation/category-theory-illustrated.git synced 2024-10-05 13:27:13 +03:00
Code Issues Packages Projects Releases Wiki Activity

Writing 'Reason' is getting pretty dumb, so I'll just say it instead. The oxford comma here feels clunky, though it's not strictly incorrect. SpAG

Browse Source
This commit is contained in:
FFFluoride 2024-03-05 22:17:20 +00:00
parent ea93178156
commit 83813d8340
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
_chapters/00_about.md
View File

@ -124,7 +124,7 @@ Chapter 2 we will make a (hopefully) gentle transition from sets to *categories*
In the next two chapters, 3 and 4, we jump into two different branches of mathematics and introduce their main means of abstraction, *groups and orders*, observing how they connect to the core category-theoretic concepts that we introduced earlier.
Chapter 5 also follows the main formula of the previous two chapters, and gets to the heart of the matter of why category theory is a universal language, by showing its connection with the ancient discipline of *logic*. As in chapters 3 and 4 we start with a crash course in logic itself.
Chapter 5 also follows the main formula of the previous two chapters, getting to the heart of the matter of why category theory is a universal language, by showing its connection with the ancient discipline of *logic*. As in chapters 3 and 4, we start with a crash course in logic itself.
The connection between all these different disciplines is examined in chapter 6, using one of the most interesting category-theoretical concepts --- the concept of a functor.