Basic category theory for computer scientists
Benjamin C. Pierce
Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories.
种类:
年:
1991
出版:
1
出版社:
MIT Press
语言:
english
页:
110
ISBN 10:
0262660717
ISBN 13:
9780262660716
系列:
Foundations of computing
文件:
DJVU, 5.43 MB
IPFS:
,
english, 1991