For typesetting diagrams as in category theory, the Xy-pic package is generally the way to go, and it is standard enough that most tex distributions include it (though you could of course download it yourself). The user's guide is well written, and you can usually find an example that does what...