books.google.com - Category theory is a branch of pure mathematics that is becoming an increasingly important tool in theoretical computer science, especially in programming language semantics, domain theory, and concurrency, where it is already a standard language of discourse. Assuming a minimum of mathematical preparation,...http://books.google.com/books/about/Basic_Category_Theory_for_Computer_Scien.html?id=ezdeaHfpYPwC&q=universal+algebra&utm_source=gb-gplus-shareBasic Category Theory for Computer Scientists

No eBook available
## Basic Category Theory for Computer ScientistsBy Benjamin C. Pierce |