Buch, Englisch, 293 Seiten, Gewicht: 610 g
Buch, Englisch, 293 Seiten, Gewicht: 610 g
ISBN: 978-0-444-70368-2
Verlag: Elsevier Science & Technology
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.
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
Categories. Basic Definitions. Basic Examples and Constructions. Equivalence of Categories. Cartesian Categories. Regular Categories. Pre-Logoi. Logoi. Adjoint Functors, Grothendieck Topoi, and Exponential Categories. Topoi. Sconing.
Allegories. Basic Definitions. Distributive Allegories. Division Allegories. Power Allegories. Quotient Allegories.
Appendices. Subject Index.