Computational category theory / David E. Rydeheard, Rod M. Burstall
Type de document : MonographieCollection : Prentice-Hall international series in computer scienceLangue : anglais.Pays: Etats Unis.Éditeur : New York : Prentice-Hall, 1988Description : 257 p. ; 24 cmISBN: 9780131627369.Bibliographie : Bibliography: p. 237-252.Sujet MSC : 18-04, Software, source code, etc. for problems pertaining to category theory18Axx, Category theory; homological algebra - General theory of categories and functors
68Q65, Computer science - Theory of computing, Abstract data types; algebraic specification
18A30, General theory of categories and functors, Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.)
18A25, General theory of categories and functors, Functor categories, comma categories
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Monographie
|
CMI Salle 1 | 18 RYD (Browse shelf(Opens below)) | Available | 10256-01 |
Bibliography: p. 237-252
There are no comments on this title.