Adding notation "f comp g" for diagram-wise morphism composition.