More Books:

Categories, Allegories
Language: en
Pages: 293
Authors: P.J. Freyd, A. Scedrov
Categories: Mathematics
Type: BOOK - Published: 1990-11-08 - Publisher: Elsevier

General concepts and methods that occur throughout mathematics – and now also in theoretical computer science – are the subject of this book. It is a thorough introduction to Categories, emphasizing the geometric nature of the subject and explaining its connections to mathematical logic. The book should appeal to the
Categories, Allegories
Language: en
Pages: 296
Authors: Peter J. Freyd, Andrej Ščedrov
Categories: Allegories (Mathematics)
Type: BOOK - Published: 1990 - Publisher: North Holland

Books about Categories, Allegories
Relational and Algebraic Methods in Computer Science
Language: en
Pages: 395
Authors: Wolfram Kahl, Michael Winter, José Oliveira
Categories: Mathematics
Type: BOOK - Published: 2015-09-24 - Publisher: Springer

This book constitutes the proceedings of the 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2015, held in Braga, Portugal, in September/October 2015. The 20 revised full papers and 3 invited papers presented were carefully selected from 25 submissions. The papers deal with the theory of
Rewriting Techniques and Applications
Language: en
Pages: 282
Authors: Leo Bachmair
Categories: Computers
Type: BOOK - Published: 2006-12-30 - Publisher: Springer

This book constitutes the refereed proceedings of the 11th International Conference on Rewriting Techniques and Applications, RTA 2000, held in Norwich, UK, in July 2000. The 15 revised full papers and three system descriptions presented together with two invited contributions were carefully reviewed and selected from 44 submissions. All current
Category Theory in Context
Language: en
Pages: 272
Authors: Emily Riehl
Categories: Mathematics
Type: BOOK - Published: 2017-03-09 - Publisher: Courier Dover Publications

Introduction to concepts of category theory — categories, functors, natural transformations, the Yoneda lemma, limits and colimits, adjunctions, monads — revisits a broad range of mathematical examples from the categorical perspective. 2016 edition.