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.
 4888
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.
 4930
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.
 6411
No new posts Topoi: The Categorial Analysis of Logic
A classic exposition of a branch of mathematical logic that uses category theory.
 852
Advertisements Advertisements