Posted by **hill0** at Jan. 27, 2017

English | 13 Jan. 2017 | ISBN: 3319419161 | 184 Pages | PDF | 4.19 MB

This textbook provides an introduction to elementary category theory, with the aim of making what can be a confusing and sometimes overwhelming subject more accessible. In writing about this challenging subject, the author has brought to bear all of the experience he has gained in authoring over 30 books in university-level mathematics.

Posted by **lengen** at Jan. 25, 2017

English | Aug. 23, 1991 | ISBN: 0262011255 | 300 Pages | PDF | 2 MB

Category theory is a mathematical subject whose importance in several areas of computer science, most notably the semantics of programming languages and the design of programmes using abstract data types, is widely acknowledged. This book introduces category theory at a level appropriate for computer scientists and provides practical examples in the context of programming language design.

Posted by **libr** at Sept. 28, 2016

English | 2010 | ISBN: 0199587361, 0199237182 | 336 pages | PDF | 1,6 MB

Posted by **nebulae** at Nov. 19, 2015

English | ISBN: 1107034892 | 2013 | PDF | 286 pages | 3 MB

Posted by **tanas.olesya** at Nov. 16, 2015

English | 30 Sept. 1991 | ISBN: 0262660717 | 110 Pages | PDF | 8 MB

Category theory is a branch of pure mathematics that is becoming an increasingly important tool in theoretical computer science, especially in programming language semantics, domain theory, and concurrency, where it is already a standard language of discourse.

Posted by **tarantoga** at Aug. 22, 2015

ISBN: 1781252874 | 2015 | EPUB | 305 pages | 2 MB

Posted by **tanas.olesya** at May 8, 2015

English | Dec 1991 | ISBN: 3885382180 | 404 Pages | PDF | 10 MB

The purpose of this book is to serve as a text for a seminar in applied Category Theory. The treatise contains 23 articles, which are intended to paradigmatically demonstrate how categorical thinking contributes to a better understanding of certain mathematical phenomena by putting them into particularly suitable contexts.

Posted by **FenixN** at April 17, 2015

12xHDRip | MP4/AVC, ~6628 kb/s | 1440x1080 | Duration: 05:26:56 | English: AAC, 64 kb/s (2 ch) | 15.9 GB

Steve Awodey is a professor at Carnegie Mellon University interested in category theory, logic, philosophy of mathematics, history of logic and analytic philosophy. For the "n-community", one should point out his recent work on homotopical ideas in type theory.

Posted by **arundhati** at April 12, 2015

2011 | ISBN-10: 110701087X, 0521283043 | 236 pages | PDF | 1 MB

Posted by **step778** at March 17, 2015

1974 | pages: 293 | ISBN: 3540068309, 0387068309 | PDF | 5,3 mb