Basic category theory (1992)

by A Poigné
Venue:In Handbook of logic in computer science