mathlib3

chore(category_theory/images): fix some minor problems

#2182

Merged