Here are a few references:
Theory and Applications of Categories