Category Theory

From a Geometrical Point of View: A Study of the History and Philosophy of Category Theory (Repost)

From a Geometrical Point of View: A Study of the History and Philosophy of Category Theory By Jean-Pierre Marquis
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.

Category Theory (repost)  eBooks & eLearning

Posted by libr at May 28, 2017
Category Theory (repost)

Category Theory (Oxford Logic Guides) by Steve Awodey
English | 2006 | ISBN: 0198568614 | Pages: 272 | PDF | 1 MB

Category Theory in Context  eBooks & eLearning

Posted by Jeembo at May 16, 2017
Category Theory in Context

Category Theory in Context by Emily Riehl
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.

Category Theory in Context (Aurora: Dover Modern Math Originals) [Kindle Edition]  eBooks & eLearning

Posted by AlenMiler at March 11, 2017
Category Theory in Context (Aurora: Dover Modern Math Originals) [Kindle Edition]

Category Theory in Context (Aurora: Dover Modern Math Originals) by Emily Riehl
English | 9 Mar. 2017 | ASIN: B06XHZ82GF | 272 Pages | AZW3 | 11.19 MB
Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (Foundations of Comput

Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (Foundations of Computing Series) by Andrea Asperti
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.

Category Theory, 2 edition  eBooks & eLearning

Posted by libr at Sept. 28, 2016
Category Theory, 2 edition

Category Theory, 2 edition (Oxford Logic Guides, Book 52) by Steve Awodey
English | 2010 | ISBN: 0199587361, 0199237182 | 336 pages | PDF | 1,6 MB

Coherence in Three-Dimensional Category Theory (Repost)  eBooks & eLearning

Posted by nebulae at Nov. 19, 2015
Coherence in Three-Dimensional Category Theory (Repost)

Nick Gurski, "Coherence in Three-Dimensional Category Theory"
English | ISBN: 1107034892 | 2013 | PDF | 286 pages | 3 MB

Basic Category Theory for Computer Scientists [Repost]  eBooks & eLearning

Posted by tanas.olesya at Nov. 16, 2015
Basic Category Theory for Computer Scientists [Repost]

Basic Category Theory for Computer Scientists by Benjamin C. Pierce
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.

Cakes, Custard and Category Theory: Easy Recipes for Understanding Complex Maths  eBooks & eLearning

Posted by tarantoga at Aug. 22, 2015
Cakes, Custard and Category Theory: Easy Recipes for Understanding Complex Maths

Eugenia Cheng, "Cakes, Custard and Category Theory: Easy Recipes for Understanding Complex Maths"
ISBN: 1781252874 | 2015 | EPUB | 305 pages | 2 MB

Category Theory at Work (Research & Exposition in Mathematics) by H. Herrlich  eBooks & eLearning

Posted by tanas.olesya at May 8, 2015
Category Theory at Work (Research & Exposition in Mathematics) by H. Herrlich

Category Theory at Work (Research & Exposition in Mathematics) by H. Herrlich
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.