LEADER 06629nam 22006255 450 001 9910480323003321 005 20200704114049.0 010 $a1-4612-0927-7 024 7 $a10.1007/978-1-4612-0927-0 035 $a(CKB)3400000000089325 035 $a(SSID)ssj0000808475 035 $a(PQKBManifestationID)11429842 035 $a(PQKBTitleCode)TC0000808475 035 $a(PQKBWorkID)10778289 035 $a(PQKB)11609920 035 $a(DE-He213)978-1-4612-0927-0 035 $a(MiAaPQ)EBC3074007 035 $a(PPN)237993708 035 $a(EXLCZ)993400000000089325 100 $a20121227d1994 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aSheaves in Geometry and Logic$b[electronic resource] $eA First Introduction to Topos Theory /$fby Saunders MacLane, Ieke Moerdijk 205 $a1st ed. 1994. 210 1$aNew York, NY :$cSpringer New York :$cImprint: Springer,$d1994. 215 $a1 online resource (XII, 630 p.) 225 1 $aUniversitext,$x0172-5939 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a0-387-97710-4 320 $aIncludes bibliographical references and indexes. 327 $aPrologue -- Categorial Preliminaries -- I. Categories of Functors -- 1. The Categories at Issue -- 2. Pullbacks -- 3. Characteristic Functions of Subobjects -- 4. Typical Subobject Classifiers -- 5. Colimits -- 6. Exponentials -- 7. Propositional Calculus -- 8. Heyting Algebras -- 9. Quantifiers as Adjoints -- Exercises -- II. Sheaves of Sets -- 1. Sheaves -- 2. Sieves and Sheaves -- 3. Sheaves and Manifolds -- 4. Bundles -- 5. Sheaves and Cross-Sections -- 6. Sheaves as Étale Spaces -- 7. Sheaves with Algebraic Structure -- 8. Sheaves are Typical -- 9. Inverse Image Sheaf -- Exercises -- III. Grothendieck Topologies and Sheaves -- 1. Generalized Neighborhoods -- 2. Grothendieck Topologies -- 3. The Zariski Site -- 4. Sheaves on a Site -- 5. The Associated Sheaf Functor -- 6. First Properties of the Category of Sheaves -- 7. Subobject Classifiers for Sites -- 8. Subsheaves -- 9. Continuous Group Actions -- Exercises -- IV. First Properties of Elementary Topoi -- 1. Definition of a Topos -- 2. The Construction of Exponentials -- 3. Direct Image -- 4. Monads and Beck?s Theorem -- 5. The Construction of Colimits -- 6. Factorization and Images -- 7. The Slice Category as a Topos -- 8. Lattice and Heyting Algebra Objects in a Topos -- 9. The Beck-Chevalley Condition -- 10. Injective Objects -- Exercises -- V. Basic Constructions of Topoi -- 1. Lawvere-Tierney Topologies -- 2. Sheaves -- 3. The Associated Sheaf Functor -- 4. Lawvere-Tierney Subsumes Grothendieck -- 5. Internal Versus External -- 6. Group Actions -- 7. Category Actions -- 8. The Topos of Coalgebras -- 9. The Filter-Quotient Construction -- Exercises -- VI. Topoi and Logic -- 1. The Topos of Sets -- 2. The Cohen Topos -- 3. The Preservation of Cardinal Inequalities -- 4. The Axiom of Choice -- 5. The Mitchell-Bénabou Language -- 6. Kripke-Joyal Semantics -- 7. Sheaf Semantics -- 8. Real Numbers in a Topos -- 9. Brouwer?s Theorem: All Functions are Continuous -- 10. Topos-Theoretic and Set-Theoretic Foundations -- Exercises -- VII. Geometric Morphisms -- 1. Geometric Morphisms and Basic Examples -- 2. Tensor Products -- 3. Group Actions -- 4. Embeddings and Surjections -- 5. Points -- 6. Filtering Functors -- 7. Morphisms into Grothendieck Topoi -- 8. Filtering Functors into a Topos -- 9. Geometric Morphisms as Filtering Functors -- 10. Morphisms Between Sites -- Exercises -- VIII. Classifying Topoi -- 1. Classifying Spaces in Topology -- 2. Torsors -- 3. Classifying Topoi -- 4. The Object Classifier -- 5. The Classifying Topos for Rings -- 6. The Zariski Topos Classifies Local Rings -- 7. Simplicial Sets -- 8. Simplicial Sets Classify Linear Orders -- Exercises -- IX. Localic Topoi -- 1. Locales -- 2. Points and Sober Spaces -- 3. Spaces from Locales -- 4. Embeddings and Surjections of Locales -- 5. Localic Topoi -- 6. Open Geometric Morphisms -- 7. Open Maps of Locales -- 8. Open Maps and Sites -- 9. The Diaconescu Cover and Barr?s Theorem -- 10. The Stone Space of a Complete Boolean Algebra -- 11. Deligne?s Theorem -- Exercises -- X. Geometric Logic and Classifying Topoi -- 1. First-Order Theories -- 2. Models in Topoi -- 3. Geometric Theories -- 4. Categories of Definable Objects -- 5. Syntactic Sites -- 6. The Classifying Topos of a Geometric Theory -- 7. Universal Models -- Exercises -- Appendix: Sites for Topoi -- Epilogue -- Index of Notation. 330 $aWe dedicate this book to the memory of J. Frank Adams. His clear insights have inspired many mathematicians, including both of us. In January 1989, when the first draft of our book had been completed, we heard the sad news of his untimely death. This has cast a shadow on our subsequent work. Our views of topos theory, as presented here, have been shaped by continued study, by conferences, and by many personal contacts with friends and colleagues-including especially O. Bruno, P. Freyd, J.M.E. Hyland, P.T. Johnstone, A. Joyal, A. Kock, F.W. Lawvere, G.E. Reyes, R Solovay, R Swan, RW. Thomason, M. Tierney, and G.C. Wraith. Our presentation combines ideas and results from these people and from many others, but we have not endeavored to specify the various original sources. Moreover, a number of people have assisted in our work by pro­ viding helpful comments on portions of the manuscript. In this respect, we extend our hearty thanks in particular to P. Corazza, K. Edwards, J. Greenlees, G. Janelidze, G. Lewis, and S. Schanuel. 410 0$aUniversitext,$x0172-5939 606 $aGeometry 606 $aK-theory 606 $aMathematical logic 606 $aGeometry$3https://scigraph.springernature.com/ontologies/product-market-codes/M21006 606 $aK-Theory$3https://scigraph.springernature.com/ontologies/product-market-codes/M11086 606 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 615 0$aGeometry. 615 0$aK-theory. 615 0$aMathematical logic. 615 14$aGeometry. 615 24$aK-Theory. 615 24$aMathematical Logic and Foundations. 676 $a512/.55 700 $aMacLane$b Saunders$4aut$4http://id.loc.gov/vocabulary/relators/aut$026298 702 $aMoerdijk$b Ieke$4aut$4http://id.loc.gov/vocabulary/relators/aut 906 $aBOOK 912 $a9910480323003321 996 $aSheaves in Geometry and Logic$9382817 997 $aUNINA LEADER 00972nam2 22002653i 450 001 SBL0296051 005 20231121125819.0 020 $aIT$b82705 100 $a20150706d1980 ||||0itac50 ba 101 | $aita 102 $ait 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 0 $a10: Tav. 832-925 210 $aFirenze$cGiunti-Barbera$d1980 215 $a250 p.$d29 cm. 461 1$1001SBL0296047$12001 $a˜Il œCodice Atlantico della Biblioteca Ambrosiana di Milano$f [Leonardo da Vinci]$gtrascrizione diplomatica e critica di Augusto Marinoni$v10 801 3$aIT$bIT-01$c20150706 850 $aIT-FR0017 899 $aBiblioteca umanistica Giorgio Aprea$bFR0017 $eN 912 $aSBL0296051 950 2$aBiblioteca umanistica Giorgio Aprea$d 52FONDO RARICod.Atl.DaV.10B$e 52FLS0000173955 VMB RF $fB $h20150713$i20150713 977 $a 52 996 $a10: Tav. 832-925$93636230 997 $aUNICAS LEADER 03129nam 2200601Ia 450 001 9910782214003321 005 20230721033031.0 010 $a1-281-97921-X 010 $a9786611979218 010 $a90-485-0182-2 035 $a(CKB)1000000000549887 035 $a(EBL)437608 035 $a(OCoLC)748360932 035 $a(SSID)ssj0000309968 035 $a(PQKBManifestationID)12095046 035 $a(PQKBTitleCode)TC0000309968 035 $a(PQKBWorkID)10283853 035 $a(PQKB)10751833 035 $a(MiAaPQ)EBC437608 035 $a(EXLCZ)991000000000549887 100 $a20070508e20071996 uy 0 101 0 $adut 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 03$aDe Spaanse Gouden Eeuw in honderd sonnetten$b[electronic resource] /$f[vert. uit het Spaans door] Dolf Verspoor ; met een voorw. van Robert Lemm 210 $aAmsterdam $cAmsterdam University Press ;$aAmsterdam $cAthenaeum Boekhandel$dc2007 215 $a1 online resource (115 p.) 225 0 $aAthenaeum Boekhandel canon 300 $aIncludes index. 300 $aOriginally published: Amsterdam : Meulenhoff, 1996. 311 $a90-5356-987-1 327 $aInhoud; Juan Boscan; Garcilaso de la Vega; Hernande de Acuna; Gregorio Silvestre; Fray Luis de Leon; Francisco de la Torre; Fernando de Herrara; Francisco de Aldana; Juan de la Cueva; Sebastian de Cordoba; Miguel de Cervantes; LUPERCIO LEONARDO DE ARGENSOLA; LUIS DE Go?NGORA; CRISTO?BAL DE MESA; BARToLoME? LEONARDO DE ARGENSOLA; LOPE DE VEGA; JUAN DE CO?RDOBA; FRANCISCO DE QUEVEDO; FRANCISCO LO?PEZ DE ZA?RATE; ALONSO ]ERO?NIMO DE SALAS BARBADILLO; JUAN DE TASSIS, CONDE DE VILLAMEDIANA; LUIS CARRILLO Y SOTOMAYOR; ]UAN DE ]A?UREGUI; TIRSO DE MOLINA; PEDRO CALDERO?N DE LA BARCA; GABRIEL BOCA?NGEL 327 $aMIGUEL DE MANARAVALENTfN DE CE?SPEDES; AANTEKENINGEN; REGISTER OP SPAANSE BEGINREGELS; VERANTWOORDING 330 $aCervantes, Lope de Vega, Gabriel Boca?ngel, Caldero?n de la Barca en natuurlijk Francisco de Quevedo, het is maar een greep uit de meesterdichters van wie werk in De Spaanse Gouden Eeuw in honderd sonnetten is opgenomen. Nijhoffprijswinnaar Dolf Verspoor nam van in totaal dertig bekende en minder bekende auteurs uit de Spaanse renaissance en barok herdichtingen op. Naast vele nieuwe vertalingen,waaraan Verspoor tot het eind van zijn leven heeft gewerkt, bevat de bundel zijn twee eerdere bundels sonnetten van Quevedo. Het geheel biedt een doorsnede van de poe?zie van begin zestiende tot eind zeven 410 0$aAthenaeum Boekhandel Canon 606 $aSpanish poetry$vTranslations into Dutch 606 $aSonnets, Spanish$vTranslations into Dutch 615 0$aSpanish poetry 615 0$aSonnets, Spanish 676 $a300 676 $a860/.9/003 676 $a900 701 $aVerspoor$b Dolf$01544615 701 $aLemm$b Robert$01544616 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910782214003321 996 $aDe Spaanse Gouden Eeuw in honderd sonnetten$93799004 997 $aUNINA LEADER 01158nam0 2200301 450 001 9910854699503321 005 20240529150813.0 010 $a9788898092864 100 $a20240528d2022----km y0itay50 ba 101 0 $aita 102 $aIT 105 $aafbc 000yy 200 1 $aItalia di Gio. Ant. Magini data in luce da Fabio suo figliuolo al serenissimo Ferdinando Gonzaga duca di Mantoua e di Monferrato etc$fGiovanni Antonio Magini$g[a cura di Mario Serra] 210 $a[Roccadaspide$cEdizioni Magna Graecia$d2022] 215 $a1 v.$cill., carte geografiche, 1 ritratto b/n$d32x44 cm 300 $aRist. anastatica dell'ed. Bononia, 1620 610 0 $aAtlanti antichi 610 0 $aItalia$aCarte antiche 676 $a913.37$v23$zita 700 1$aMagini,$bGiovanni Antonio$f<1555-1617>$055127 702 1$aSerra,$bMario 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a9910854699503321 952 $aCART C 11$b178/2024$fFARBC 959 $aFARBC 996 $aItalia di Gio. Ant. Magini data in luce da Fabio suo figliuolo al serenissimo Ferdinando Gonzaga duca di Mantoua e di Monferrato etc$91555886 997 $aUNINA