Posted by **AvaxGenius** at May 3, 2018

English | PDF | 2009 | 316 Pages | ISBN : 1402093837 | 3.65 MB

From a Geometrical Point of View explores historical and philosophical aspects of category theory, trying therewith to expose its significance in the mathematical landscape. The main thesis is that Klein’s Erlangen program in geometry is in fact a particular instance of a general and broad phenomenon revealed by category theory. The volume starts with Eilenberg and Mac Lane’s work in the early 1940’s and follows the major developments of the theory from this perspective. Particular attention is paid to the philosophical elements involved in this development. The book ends with a presentation of categorical logic, some of its results and its significance in the foundations of mathematics.

Posted by **libr** at May 28, 2017

English | 2006 | ISBN: 0198568614 | Pages: 272 | PDF | 1 MB

Posted by **Jeembo** at May 16, 2017

English | 2016 | ISBN: 048680903X | 272 Pages | PDF | 2.6 MB

Category theory has provided the foundations for many of the twentieth century's greatest advances in pure mathematics.

Posted by **AlenMiler** at March 11, 2017

English | 9 Mar. 2017 | ASIN: B06XHZ82GF | 272 Pages | AZW3 | 11.19 MB

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.