This is joint work with M.C.Pedicchio; the paper is in preparation. Abstract: We develope a new approach to Commutator theory based on the theory of internal categorical structures, especially of so called pseudogroupoids. It is motivated by our previous work on internal categories and groupoids in congruence modular varieties.