Handbook of categorical algebra - 3 (Record no. 2650)

000 -LEADER
fixed length control field 01768nam a22002057a 4500
003 - CONTROL NUMBER IDENTIFIER
control field OSt
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240925172510.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 190424b ||||| |||| 00| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780521061247
040 ## - CATALOGING SOURCE
Transcribing agency Tata Book House
Original cataloging agency ICTS-TIFR
050 ## - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA169
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Borceux Francis
245 ## - TITLE STATEMENT
Title Handbook of categorical algebra - 3
Remainder of title : categories of sheaves
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. New York:
Name of publisher, distributor, etc. Cambridge University Press,
Date of publication, distribution, etc. [c1994]
300 ## - Physical Description
Pages: 522 p
490 ## - SERIES STATEMENT
Series statement Encyclopedia of Mathematics and its Applications
Volume/sequential designation 52
505 ## - FORMATTED CONTENTS NOTE
Formatted contents note Introduction to this handbook <br/>1 - Locales <br/>2 - Sheaves <br/>3 - Grothendieck toposes <br/>4 - The classifying topos <br/>5 - Elementary toposes <br/>6 - Internal logic of a topos <br/>7 - The law of excluded middle <br/>8 - The axiom of infinity <br/>9 - Sheaves in a topos
520 ## - SUMMARY, ETC.
Summary, etc. The Handbook of Categorical Algebra is intended to give, in three volumes, a rather detailed account of what, ideally, everybody working in category theory should know, whatever the specific topic of research they have chosen. The book is planned also to serve as a reference book for both specialists in the field and all those using category theory as a tool. Volume 3 begins with the essential aspects of the theory of locales, proceeding to a study in chapter 2 of the sheaves on a locale and on a topological space, in their various equivalent presentations: functors, etale maps or W-sets. Next, this situation is generalized to the case of sheaves on a site and the corresponding notion of Grothendieck topos is introduced. Chapter 4 relates the theory of Grothendieck toposes with that of accessible categories and sketches, by proving the existence of a classifying topos for all coherent theories. --- summary provided by publisher
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Koha item type Book
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Home library Shelving location Date acquired Full call number Accession No. Koha item type
          ICTS Rack No 4 04/24/2019 QA169 01987 Book