Relative Category Theory and Geometric Morphisms: A Logical Approach: 16 (Oxford Logic Guides) - 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 which allows 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 essentially self-contained except that the authors presuppose a familiarity with basic category theory and topos theory.

Über diesen Titel

Über die Autorin bzw. den Autor

Charlotte y Peter Fiell son dos autoridades en historia, teoría y crítica del diseño y han escrito más de sesenta libros sobre la materia, muchos de los cuales se han convertido en éxitos de ventas. También han impartido conferencias y cursos como profesores invitados, han comisariado exposiciones y asesorado a fabricantes, museos, salas de subastas y grandes coleccionistas privados de todo el mundo. Los Fiell han escrito numerosos libros para TASCHEN, entre los que se incluyen 1000 Chairs, Diseño del siglo XX, El diseño industrial de la A a la Z, Scandinavian Design y Diseño del siglo XXI.

Details zur Ausgabe

• Verlag: Clarendon Press
• Erscheinungsdatum: 1992
• ISBN 10: 0198534345
• ISBN 13: 9780198534341
• Einband: Tapa dura
• Sprache: Englisch
• Anzahl der Seiten: 276
• Kontakt zum Hersteller: Nicht verfügbar