Pushed a huge update of the second chapter of #categorytheoryillustrated - the one where categories are introduced: rewrote a lot of stuff, corrected many mistakes and added an overview of Lawvere's Elementary theory of the category of sets, right before the concept of a category is introduced, section "Defining the rest of set theory using functions".

Worked pretty great, I think.

https://abuseofnotation.github.io/category-theory-illustrated/02_category/

#categorytheory #math #mathematics #iamWriting #functionalprogramming