We develop 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.
Keywords: variety, pregroupoid, commutator.
2000 MSC: 18D99, 08B05.
Theory and Applications of Categories, Vol. 8, 2001, No. 15, pp 408-456.
http://www.tac.mta.ca/tac/volumes/8/n15/n15.dvi
http://www.tac.mta.ca/tac/volumes/8/n15/n15.ps
http://www.tac.mta.ca/tac/volumes/8/n15/n15.pdf
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/8/n15/n15.dvi
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/8/n15/n15.ps