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.
 
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.

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.
Author(s): R.M. Burstall D.E. Rydeheard
Publication date: 01 Jul 2001
Tags: Category Theory
 
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.
Author(s): R.M. Burstall D.E. Rydeheard
Publication date: 01 Jul 2001
Tags: Category Theory


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.
Author(s): Paul Taylor
Publication date: 13 May 1999
Tags: Category Theory
 
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.
Author(s): Paul Taylor
Publication date: 13 May 1999
Tags: Category Theory


Topoi: The Categorial Analysis of Logic

Post date: 26 Apr 2008
A classic exposition of a branch of mathematical logic that uses category theory.
Author(s): Rob Goldblatt New Zealand
Publication date: 31 Dec 1984
Tags: Category Theory
 
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.
Author(s): Rob Goldblatt New Zealand
Publication date: 31 Dec 1984
Tags: Category Theory


Toposes, Triples And Theories

Post date: 09 Dec 2009
This book is an introduction to toposes, triples and theories and the connections between them.
Author(s): Michael Barr Charles Wells
Publication date: 30 Nov -0001
Tags: Category Theory
 
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.
Author(s): Michael Barr Charles Wells
Publication date: 30 Nov -0001
Tags: Category Theory


Book Categories