abuseofnotation/category-theory-illustrated
1
1
Fork 0
mirror of https://github.com/abuseofnotation/category-theory-illustrated.git synced 2024-08-16 12:00:22 +03:00
Code Issues Packages Projects Releases Wiki Activity

Concision

Browse Source
This commit is contained in:
FFFluoride 2024-03-05 22:22:39 +00:00
parent 83813d8340
commit dd6fe08a6b
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/01_set.md
View File

@ -6,7 +6,7 @@ title: Sets
Sets
===
Let's begin our inquiry by looking at the basic theory of sets. Set theory and category theory share many similarities. We can view category theory as a *generalization* of set theory. That is, it is meant to describe the same thing as set theory (everything?), but to do it in a more abstract manner, one that is more versatile and (hopefully) simpler.
Let's begin our inquiry by looking at the basic theory of sets. Set theory and category theory share many similarities. We can view category theory as a *generalization* of set theory. That is, it's meant to describe the same thing as set theory (everything?), but to do it in a more abstract manner, one that is more versatile and (hopefully) simpler.
In other words, sets are an *example of a category* (the *proto-example*, we might say), and it is useful to have examples.