Muutke küpsiste eelistusi

Category Theory for Computer Science 2nd Revised edition [Pehme köide]

Teised raamatud teemal:
  • Pehme köide
  • Hind: 46,38 €*
  • * saadame teile pakkumise kasutatud raamatule, mille hind võib erineda kodulehel olevast hinnast
  • See raamat on trükist otsas, kuid me saadame teile pakkumise kasutatud raamatule.
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Lisa soovinimekirja
Category Theory for Computer Science 2nd Revised edition
Teised raamatud teemal:
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.
Preliminaries. Categories. Functors. Diagrams. Naturality and Sketches.
Products and Sums. Catesian Closed Categories. Finite Discrete Sketches.
Limits and Colimits. More About Sketches. Fibrations. Adjoints. Algebras for
Endofunctors. Toposes.