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

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