Category Theory Illustrated – Monoids
abuseofnotation.github.io