Relative Category Theory and Geometric Morphisms: A Logical Approach (Oxford Logic Guides, Band 16) - Hardcover

Chapman, Jonathan; Rowbottom, Frederick

Hardcover

ISBN 10: 0198534345 ISBN 13: 9780198534341

Verlag: Clarendon Press, 1992

Inhaltsangabe

Topos theory provides an important setting and language for much of mathematical logic and set theory. It is well known that a typed language can be given for a topos to be regarded as a category of sets. This enables a fruitful interplay between category theory and set theory. However, one stumbling block to a logical approach to topos theory has been the treatment of geometric morphisms. This book presents a convenient and natural solution to this problem by developing the notion of a frame relative to an elementary topos. The authors show how this technique enables a logical approach to be taken to topics such as category theory relative to a topos and the relative Giraud theorem. The work is self-contained except that the authors presuppose a familiarity with basic category theory and topos theory. Logicians, set and category theorists, and computer scientist working in the field will find this work essential reading.

Details zur Ausgabe

• Verlag: Clarendon Press
• Erscheinungsdatum: 1992
• Sprache: Englisch
• ISBN 10: 0198534345
• ISBN 13: 9780198534341
• Einband: Gebundene Ausgabe
• Auflage: 1
• Anzahl der Seiten: 276
• Kontakt zum Hersteller: ORIGINAL KAISER; https://corp.oup.com/; ; Via Liguria 4; San Giuliano Milanese ; MI; 20098; Italien