Category Theory for Computing Science - Couverture souple

Barr, Michael; Wells, Charles

 
9780133238099: Category Theory for Computing Science
Couverture souple
ISBN 10 : 0133238091 ISBN 13 : 9780133238099
Editeur : Prentice-Hall, 1995

Synopsis

The fundamental concepts of category theory are explained in this text which allows the reader to develop their understanding gradually. With over 300 exercises, students are encouraged to monitor their progression. A wide coverage of topics in category theory and computer science is developed including introductory treatments of cartesian closed categories, sketches and elementary categorical model theory, and triples. The presentation is informal with proofs included only when they are instructive, providing a broad coverage of the competing texts on category theory in computer science.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Prentice-Hall
Date d'édition
1995
Langue
anglais
ISBN 10 
0133238091
ISBN 13 
9780133238099
Reliure
Broché
Numéro d'édition
2
Nombre de pages
326
Coordonnées du fabricant
non disponible
Personne responsable
non disponible