This seems quite useful for complicated diagram chasing; has anyone here used this approach for work in homotopy theory or arithmetic geometry? I wonder if it is useful for simplifying long diagrammatic calculations and how robust it is regarding the usual errors in diagrammatic reasoning.