Elements of basic category theory (1996)

by A Martini, H Ehrig, D Nunes