Barr, Michael and
Wells, Charles. 1990.
Category Theory for Computer Science. Englewood Cliffs, New Jersey: Prentice-Hall, Inc.
Barr, Michael and
Wells, Charles. 1995.
Category Theory for Computer Science. 2nd ed. Englewood Cliffs, New Jersey: Prentice-Hall, Inc.