FreeTechBooks.com Homepage
FreeTechBooks.com
Free Online Computer Science and Programming Books, Textbooks, and Lecture Notes
FreeTechBooks.com Homepage » Category Theory


Category Theory
 Topics   Views 
Advertisements Advertisements
No new posts Categories, Types And Structures
A self-contained introduction to general category theory and the mathematical structures that constituted the theoretical background.
 7547
No new posts Computational Category Theory
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.
 7491
No new posts Practical Foundations of Mathematics
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.
 8746
No new posts Topoi: The Categorial Analysis of Logic
A classic exposition of a branch of mathematical logic that uses category theory.
 3125
No new posts Toposes, Triples And Theories
This book is an introduction to toposes, triples and theories and the connections between them.
 2575
Advertisements Advertisements