What commutative diagrams ist concerned, there are over a dozen packages to
do them. There is a very fine review by Gabriel Feruglio Valiente,
presented at EuroTeX 1995 in Arnhem (and to found in the proceeding).
It is also available as a postscript file on the web, but I don't have the