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 Bacterial Nanocellulose by P.J. Freyd, A. Scedrov
Cover of the book DNA Methylation and Complex Human Disease by P.J. Freyd, A. Scedrov
Cover of the book Mechanics, Analysis and Geometry: 200 Years after Lagrange by P.J. Freyd, A. Scedrov
Cover of the book Handbook of Adhesives and Surface Preparation by P.J. Freyd, A. Scedrov
Cover of the book Data Stewardship by P.J. Freyd, A. Scedrov
Cover of the book Handbook of Alkali-Activated Cements, Mortars and Concretes by P.J. Freyd, A. Scedrov
Cover of the book Next Generation SSH2 Implementation by P.J. Freyd, A. Scedrov
Cover of the book Advances in Botanical Research by P.J. Freyd, A. Scedrov
Cover of the book Power Electronics Applied to Industrial Systems and Transports, Volume 4 by P.J. Freyd, A. Scedrov
Cover of the book Advances in Immunology by P.J. Freyd, A. Scedrov
Cover of the book Emotions, Technology, and Design by P.J. Freyd, A. Scedrov
Cover of the book Fundamentals of Biologicals Regulation by P.J. Freyd, A. Scedrov
Cover of the book Network Algorithmics by P.J. Freyd, A. Scedrov
Cover of the book Carbon Nanotube Reinforced Composites by P.J. Freyd, A. Scedrov
Cover of the book Nanotechnology for Microelectronics and Photonics 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