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 The Encyclopedia of Volcanoes by P.J. Freyd, A. Scedrov
Cover of the book Solution Thermodynamics and its Application to Aqueous Solutions by P.J. Freyd, A. Scedrov
Cover of the book Orthogonal Waveforms and Filter Banks for Future Communication Systems by P.J. Freyd, A. Scedrov
Cover of the book Electronic Structure by P.J. Freyd, A. Scedrov
Cover of the book Recent Progress in Hormone Research by P.J. Freyd, A. Scedrov
Cover of the book THE HUMAN GENOME by P.J. Freyd, A. Scedrov
Cover of the book Medical Robotics by P.J. Freyd, A. Scedrov
Cover of the book Introduction to Food Toxicology by P.J. Freyd, A. Scedrov
Cover of the book Welding and Joining of Aerospace Materials by P.J. Freyd, A. Scedrov
Cover of the book Solar Chimney Power Plant Generating Technology by P.J. Freyd, A. Scedrov
Cover of the book Optoelectronic Devices: III Nitrides by P.J. Freyd, A. Scedrov
Cover of the book Applied Operational Excellence for the Oil, Gas, and Process Industries by P.J. Freyd, A. Scedrov
Cover of the book PEM Water Electrolysis by P.J. Freyd, A. Scedrov
Cover of the book Beyond Compliance by P.J. Freyd, A. Scedrov
Cover of the book Progress in Mosquito Research 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