Categories, Allegories

Nonfiction, Science & Nature, Mathematics, Algebra, History
Cover of the book Categories, Allegories by P.J. Freyd, A. Scedrov, Elsevier Science
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: P.J. Freyd, A. Scedrov ISBN: 9780080887012
Publisher: Elsevier Science Publication: November 8, 1990
Imprint: North Holland Language: English
Author: P.J. Freyd, A. Scedrov
ISBN: 9780080887012
Publisher: Elsevier Science
Publication: November 8, 1990
Imprint: North Holland
Language: English

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 inquisitive reader who has seen some basic topology and algebra and would like to learn and explore further.

The first part contains a detailed treatment of the fundamentals of Geometric Logic, which combines four central ideas: natural transformations, sheaves, adjoint functors, and topoi.

A special feature of the work is a general calculus of relations presented in the second part. This calculus offers another, often more amenable framework for concepts and methods discussed in part one. Some aspects of this approach find their origin in the relational calculi of Peirce and Schroeder from the last century, and in the 1940's in the work of Tarski and others on relational algebras. The representation theorems discussed are an original feature of this approach.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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 inquisitive reader who has seen some basic topology and algebra and would like to learn and explore further.

The first part contains a detailed treatment of the fundamentals of Geometric Logic, which combines four central ideas: natural transformations, sheaves, adjoint functors, and topoi.

A special feature of the work is a general calculus of relations presented in the second part. This calculus offers another, often more amenable framework for concepts and methods discussed in part one. Some aspects of this approach find their origin in the relational calculi of Peirce and Schroeder from the last century, and in the 1940's in the work of Tarski and others on relational algebras. The representation theorems discussed are an original feature of this approach.

More books from Elsevier Science

Cover of the book Comprehensive Chemical Kinetics by P.J. Freyd, A. Scedrov
Cover of the book An Evaluation of the Benefits and Value of Libraries by P.J. Freyd, A. Scedrov
Cover of the book Textbook of Nephro-Endocrinology by P.J. Freyd, A. Scedrov
Cover of the book Handbook of Self-Regulation by P.J. Freyd, A. Scedrov
Cover of the book Knowledge Management for Sales and Marketing by P.J. Freyd, A. Scedrov
Cover of the book Modern Techniques for Food Authentication by P.J. Freyd, A. Scedrov
Cover of the book Chemistry and Application of H-Phosphonates by P.J. Freyd, A. Scedrov
Cover of the book Advances in Immunology by P.J. Freyd, A. Scedrov
Cover of the book Carbohydrate-Active Enzymes by P.J. Freyd, A. Scedrov
Cover of the book Low Cycle Fatigue and Elasto-Plastic Behaviour of Materials by P.J. Freyd, A. Scedrov
Cover of the book Dynamical Models in Biology by P.J. Freyd, A. Scedrov
Cover of the book Overview of Industrial Process Automation by P.J. Freyd, A. Scedrov
Cover of the book Development of Online Hybrid Testing by P.J. Freyd, A. Scedrov
Cover of the book Bayesian Population Analysis using WinBUGS by P.J. Freyd, A. Scedrov
Cover of the book Neuroendocrinology by P.J. Freyd, A. Scedrov
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy