I am asking for recommendations for a book. Some industrial mathematicians and computer scientists are forming a category theory study group, and want to use a book that gives an introduction to categories in computer science. We would like one that is self-contained in that it contains definitions and, if appropriate, examples for all categorical terms including those specialized to computer science. We're looking primarily at applications in specification-based software synthesis, and design synthesis in general. If you care to respond, my email address is mjhealy@atc.boeing.com. Thank you, Mike Healy