Category Theory

Category theory deals in an abstract way with mathematical structures and relationships between them.

All categories

Books under this sub-category (5 books)

Categories, Types And Structures

Post date: 03 Oct 2006
A self-contained introduction to general category theory and the mathematical structures that constituted the theoretical background.
Publisher: The MIT Press
Publication date: 31 Dec 1991
 
Categories, Types And Structures

Categories, Types And Structures

Post date: 03 Oct 2006
A self-contained introduction to general category theory and the mathematical structures that constituted the theoretical background.
Publication date: 31 Dec 1991


Computational Category Theory

Post date: 12 Dec 2006
This book is a bridge-building exercise between category theory and computer programming. It attempts at connecting the abstract mathematics with concrete programs using ML, a functional programming language.
Publication date: 01 Jul 2001
 
Computational Category Theory

Computational Category Theory

Post date: 12 Dec 2006
This book is a bridge-building exercise between category theory and computer programming. It attempts at connecting the abstract mathematics with concrete programs using ML, a functional programming language.
Publication date: 01 Jul 2001


Practical Foundations of Mathematics

Post date: 20 Sep 2006
The book is an account of the foundations of mathematics (algebra) and theoretical computer science, from a modern constructive viewpoint. It collects the methods of construction of the objects of twentieth century mathematics.
Publisher: Cambridge University Press
Publication date: 13 May 1999
 
Practical Foundations of Mathematics

Practical Foundations of Mathematics

Post date: 20 Sep 2006
The book is an account of the foundations of mathematics (algebra) and theoretical computer science, from a modern constructive viewpoint. It collects the methods of construction of the objects of twentieth century mathematics.
Publication date: 13 May 1999


Topoi: The Categorial Analysis of Logic

Post date: 26 Apr 2008
A classic exposition of a branch of mathematical logic that uses category theory.
Publisher: Dover Publications
Publication date: 31 Dec 1984
 
Topoi: The Categorial Analysis of Logic

Topoi: The Categorial Analysis of Logic

Post date: 26 Apr 2008
A classic exposition of a branch of mathematical logic that uses category theory.
Publication date: 31 Dec 1984


Toposes, Triples And Theories

Post date: 09 Dec 2009
This book is an introduction to toposes, triples and theories and the connections between them.
Publication date: 30 Nov -0001
 
Toposes, Triples And Theories

Toposes, Triples And Theories

Post date: 09 Dec 2009
This book is an introduction to toposes, triples and theories and the connections between them.
Publication date: 30 Nov -0001


Book Categories