Categories, Types, and Structures
Subtitle: An Introduction to Category Theory for the Working Computer Scientist
Publisher: MIT Press
Published: June 1990
Format: Hardcover
Number of pages: 325
ISBN-13: 9780262121453