Relevant chapter from the book: https://abuseofnotation.github.io/category-theory-illustrate...