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.
 10171
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.
 10389
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.
 11189
No new posts Topoi: The Categorial Analysis of Logic
A classic exposition of a branch of mathematical logic that uses category theory.
 5623
No new posts Toposes, Triples And Theories
This book is an introduction to toposes, triples and theories and the connections between them.
 10365
Advertisements Advertisements