Duality for diagram chasing a la Mac Lane in non-abelian categories

In this paper we provide an axiomatic analysis of the classical diagram chasing method of Mac Lane, that relies on duality and chasing elements of pointed sets, which allows one to generalize this method from abelian categories to non-abelian ones. Among the examples where the generalized method can be used are all modular semiexact categories in the sense of Grandis (which include all Puppe-Mitchell exact categories) and sequentiable categories in the sense of Bourn (which include all semi-abelian categories, and in particular, the categories of group-like structures). The method turns out to be closely related to the essential features of these categories. At the same time, in some sense, it simplifies the usual proofs of some of the standard diagram lemmas in them.