Đang chuẩn bị liên kết để tải về tài liệu:
Categories, Types, and Structures

Không đóng trình duyệt đến khi xuất hiện nút TẢI XUỐNG Tải xuống

.least in one of the possible directions, namely the mathematical semantics of data types and programs as objects and morphisms of categories. We were urged to write the general introduction contained in part I, since most available books in category theory are written for the “working mathematician” and, as the subject is greatly indebted to algebraic geometry and related disciplines, the examples and motivations can be understood only by readers with some a