Structures: An Introduction to Category Theory for the Working Computer Scientist (1991)

by Types Categories