• Complain

P.T. Johnstone - Topos Theory

Here you can read online P.T. Johnstone - Topos Theory full text of the book (entire story) in english for free. Download pdf and epub, get meaning, cover and reviews about this ebook. year: 2013, publisher: Dover Publications, genre: Romance novel. Description of the work, (preface) as well as reviews are available. Best literature library LitArk.com created for fans of good reading and offers a wide selection of genres:

Romance novel Science fiction Adventure Detective Science History Home and family Prose Art Politics Computer Non-fiction Religion Business Children Humor

Choose a favorite category and find really read worthwhile books. Enjoy immersion in the world of imagination, feel the emotions of the characters or learn something new for yourself, make an fascinating discovery.

P.T. Johnstone Topos Theory
  • Book:
    Topos Theory
  • Author:
  • Publisher:
    Dover Publications
  • Genre:
  • Year:
    2013
  • Rating:
    4 / 5
  • Favourites:
    Add to favourites
  • Your mark:
    • 80
    • 1
    • 2
    • 3
    • 4
    • 5

Topos Theory: summary, description and annotation

We offer to read an annotation, description, summary or preface (depends on what the author of the book "Topos Theory" wrote himself). If you haven't found the necessary information about the book — write in the comments, we will try to find it.

One of the best books on a relatively new branch of mathematics, this text is the work of a leading authority in the field of topos theory. Suitable for advanced undergraduates and graduate students of mathematics, the treatment focuses on how topos theory integrates geometric and logical ideas into the foundations of mathematics and theoretical computer science.
After a brief overview, the approach begins with elementary toposes and advances to internal category theory, topologies and sheaves, geometric morphisms, and logical aspects of topos theory. Additional topics include natural number objects, theorems of Deligne and Barr, cohomology, and set theory. Each chapter concludes with a series of exercises, and an appendix and indexes supplement the text.

P.T. Johnstone: author's other books


Who wrote Topos Theory? Find out the surname, the name of the author of the book and a list of all author's works by series.

Topos Theory — read online for free the complete book (whole text) full work

Below is the text of the book, divided by pages. System saving the place of the last page read, allows you to conveniently read the book "Topos Theory" online for free, without having to search again every time where you left off. Put a bookmark, and you can go to the page where you finished reading at any time.

Light

Font size:

Reset

Interval:

Bookmark:

Make

TOPOS

THEORY

TOPOS

THEORY

P. T. JOHNSTONE

Dept. of Pure Mathematics and
Mathematical Statistics
University of Cambridge
Cambridge, England

DOVER PUBLICATIONS, INC.

Mineola, New York

Copyright

Copyright 1977 by P. T. Johnstone
All rights reserved.

Bibliographical Note

This Dover edition, first published by Dover Publications, Inc., in 2014, is an unabridged republication of the work originally published by Academic Press, Inc., New York, in 1977.

International Standard Book Number

eISBN-13: 978-0-486-78309-3

Manufactured in the United States by Courier Corporation
49336901 2014
www.doverpublications.com

Preface

The origins of this book can be traced back to a series of six seminars, which I gave in Cambridge in the winter of 1973/74, and which formed the nucleus of the present ; the remainder of the text was completed during May-July 1976 after my return to Cambridge.

The lectures and seminars mentioned above had a very direct influence on the text of the book, and all those who attended them (in particular those whose names appear above) deserve my thanks for the part they have played in shaping it. But I have also benefited from more informal contacts with many mathematicians at conferences and elsewhere. Among those whose (largely unpublished) ideas I have gladly borrowed are Julian Cole, Radu Diaconescu, Mike Fourman, Peter Freyd, Andr Joyal and Chris Mulvey. John Gray gave me valuable advice on 2-categorical matters, and Jack Duskin and Barry Tennison helped to improve my understanding of cohomology. And I must thank Jean Bnabou for the many ideas I have consciously or inadvertently borrowed from him, and Tim Brook for his help in the compilation of the bibliography.

There remain four mathematicians to whom I owe a debt which must be acknowledged individually. Myles Tierney introduced me to topos theory through his lectures at Varenna in 1971; looking back on the published version ] served as a model for some parts of this book. Like every other worker in topos theory, I owe Bill Lawvere an overwhelming debt in general terms, for his pioneering insights; but I have also benefited at a more personal level from his ideas and conversation. Above all, I have to express my indebtedness to Saunders Mac Lane: but for him I should never have become a topos-theorist in the first place; and the care with which he has read through the original typescript, and provided suggestions for improvement in almost every paragraph, has been altogether out of the ordinary. If there are any major errors or obscurities still remaining in the text, they are surely a testimony to my perversity rather than his lack of vigilance.

On a different, but no less significant, level, I must also thank the Universities of Liverpool and Chicago, and St Johns College, Cambridge, for employing me during the writing of the book; Paul Cohn, for accepting it for publication in the L.M.S. Monographs series; and the staff of Academic Press for the efficiency with which they have transformed my amateurish typescript into the book which you see before you.

Cambridge, June 1977

P.T.J.

Introduction

Topos theory has its origins in two separate lines of mathematical development, which remained distinct for nearly ten years. In order to have a balanced appreciation of the significance of the subject, I believe it is necessary to consider the history of these two lines, and to understand why they came together when they did. I therefore begin this Introduction with a (personal, and doubtless strongly biased) historical survey.

The earlier of the two lines begins with the rise of sheaf theory, originated in 1945 by J. Leray, developed by H. Cartan and A. Weil among others, and culminating in the published work of J. P. Serre ].)

However, in algebraic geometry it was soon discovered that the topological notion of sheaf was not entirely adequate, in that the only topology available on an abstract algebraic variety or scheme, the Zariski topology, did not have enough open sets to provide a good geometric notion of localization. In his work on descent techniques ], A. Grothendieck observed that to replace Zariski-open inclusion by tale morphism was a step in the right direction; but unfortunately the schemes which are tale over a given scheme do not in general form a partially ordered set. It was thus necessary to invent the notion of Grothendieck topology on an arbitrary category, and the generalized notion of sheaf for such a topology, in order to provide a framework for the development of tale cohomology.

], including some notable additional results of P. Deligne, eight years later.) Among the most important results of the original seminar was the theorem of Giraud, which showed that the categories of generalized sheaves which arise in this way can be completely characterized by exactness properties and size conditions; in the light of this result, it quickly became apparent that these categories of sheaves were a more important subject of study than the sites (= categories + topologies) which gave rise to them. In view of this, and because a category with a topology was seen as a generalized topological space, the (slightly unfortunate) name of topos was given to any category satisfying Girauds axioms.

Nevertheless, toposes were still regarded primarily as vehicles for carrying cohomology theoreies; not only tale cohomology, but also the fppf and crystalline cohomologies, and others. The power of the machinery developed by Grothendieck was amply demonstrated by the substantial geometrical results obtained by using these cohomology theories in the succeeding years, culminating in P. Delignes proof ]. It was, therefore, necessary that a second line of development should provide the impetus for the elementary theory of toposes.

The starting-point of this second line is generally taken to be F. W. Lawveres pioneering 1964 paper on the elementary theory of the category of sets ]. It was this theorem which, by showing that there is an explicit set of elementary axioms which imply all the (finitary) exactness properties of module categories, paved the way for a truly autonomous development of category theory as a foundation for mathematics.

(Incidentally, the Freyd-Mitchell embedding theorem is frequently regarded as a culmination rather than a starting-point; this is because of what ].)

This theorem was soon followed by Lawveres paper [] did the same for the category of topological spaces.)

One may well ask why this paper was not immediately followed by the explosion of activity which greeted the introduction of elementary toposes six years later. In retrospect, the answer is that Lawveres axioms were too specialized: the category of sets is an extremely useful object to have as a foundation for mathematics, but as a subject of axiomatic study it is not (pace the activities of Martin, Solovay et al.!) tremendously interestingit is too rigid to have any internal structure. In a similar way, if the abelian-category axioms had applied only to the category of abelian groups, and not to categories of modules or of abelian sheaves, they too would have been neglected. So what was needed for the category of sets was an axiomatization which would also cover set-valued functor categories and categories of set-valued sheavesi.e. the axioms of an elementary topos.

In his subsequent papers (]) on logical and semantical categories.

Meanwhile, the embedding-theorem side of things was advanced by M. Barr ], who used it in their investigations of general sheaf theory; and Barr himself observed that Girauds theorem could be regarded as little more than a special case of his embedding theorem. This perhaps represents (logically, if not chronologically) the first coming-together of the two lines of development mentioned earlier.

Next page
Light

Font size:

Reset

Interval:

Bookmark:

Make

Similar books «Topos Theory»

Look at similar books to Topos Theory. We have selected literature similar in name and meaning in the hope of providing readers with more options to find new, interesting, not yet read works.


Reviews about «Topos Theory»

Discussion, reviews of the book Topos Theory and just readers' own opinions. Leave your comments, write what you think about the work, its meaning or the main characters. Specify what exactly you liked and what you didn't like, and why you think so.