https://inconstantlight.com/morphisms2-2/