Source: https://uf-mi.u-bordeaux.fr/algant/wp-content/uploads/2019/09/Category_theory-1.pdf