A case against Boolean logic(abuseofnotation.github.io)60 points by boris_m 5 months ago | 72 comments
Category Theory Illustrated – Orders(abuseofnotation.github.io)236 points by boris_m 6 months ago | 60 comments
Category Theory Illustrated – Types(abuseofnotation.github.io)85 points by boris_m 6 months ago | 15 comments
Category Theory Illustrated – Natural Transformations(abuseofnotation.github.io)205 points by boris_m 1 year ago | 76 comments
Why should I care? Or why punks are correct and old wise philosophers are wrong(abuseofnotation.github.io)27 points by boris_m 1 year ago | 15 comments
Category Theory Illustrated: Logic (2021)(abuseofnotation.github.io)220 points by boris_m 2 years ago | 68 comments
From Sets to Categories (2023)(abuseofnotation.github.io)58 points by boris_m 2 years ago | 39 comments
Category Theory Illustrated – Sets(abuseofnotation.github.io)184 points by boris_m 3 years ago | 68 comments