Research Catalog

Category theory for computer science

Title
Category theory for computer science / Michael Barr and Charles Wells.
Author
Barr, Michael.
Publication
London ; New York : Prentice Hall, 1995.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
TextRequest in advance QA76.9.M35 B37 1995Off-site

Holdings

Details

Additional Authors
Wells, Charles.
Description
xvii, 325 pages : illustrations; 24 cm.
Series Statement
Prentice-Hall international series in computer science
Uniform Title
Prentice-Hall international series in computer science.
Subject
  • Computer science > Mathematics
  • Categories (Mathematics)
Bibliography (note)
  • Includes bibliographical references (p. 303-318) and index.
Contents
1. Preliminaries -- 2. Categories -- 3. Functors -- 4. Diagrams, naturality and sketches -- 5. Products and sums -- 6. Cartesian closed categories -- 7. Finite product sketches -- 8. Limits and colimits -- 9. Adjoints -- 10. Algebras for endofunctors -- 11. Categories with monoidal structure.
ISBN
0133238091
LCCN
95004728
OCLC
  • 32550428
  • ocm32550428
  • SCSB-14446167
Owning Institutions
Columbia University Libraries