Category theory for computing science - Barr Michael; Wells Charles (New York Prentice Hall, 1990)
Keywords: Category theory