DOCSLIB.ORG

Toposes Are Adhesive

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Toposes Are Adhesive Toposes are adhesive Stephen Lack1 and Pawe lSoboci´nski2? 1 School of Computing and Mathematics, University of Western Sydney, Australia 2 Computer Laboratory, University of Cambridge, United Kingdom Abstract. Adhesive categories have recently been proposed as a cate- gorical foundation for facets of the theory of graph transformation, and have also been used to study techniques from process algebra for reason- ing about concurrency. Here we continue our study of adhesive categories by showing that toposes are adhesive. The proof relies on exploiting the relationship between adhesive categories, Brown and Janelidze’s work on generalised van Kampen theorems as well as Grothendieck’s theory of descent. Introduction Adhesive categories [11,12] and their generalisations, quasiadhesive categories [11] and adhesive hlr categories [6], have recently begun to be used as a natural and relatively simple general foundation for aspects of the theory of graph transfor- mation, following on from previous work in this direction [5]. By covering several “graph-like” categories, they serve as a useful framework in which to prove struc- tural properties. They have also served as a bridge allowing the introduction of techniques from process algebra to the field of graph transformation [7, 13]. From a categorical point of view, the work follows in the footsteps of dis- tributive and extensive categories [4] in the sense that they study a particular relationship between certain finite limits and finite colimits. Indeed, whereas distributive categories are concerned with the distributivity of products over co- products and extensive categories with the relationship between coproducts and pullbacks, the various flavours of adhesive categories consider the relationship between certain pushouts and pullbacks. Adhesive categories are defined to be the categories with pullbacks where pushouts along monomorphisms are van Kampen [11] and as a consequence such pushouts can be considered as being well-behaved with respect to pullbacks. As we shall explain, related work includes Grothendieck’s theory of descent (see [9] for an overview) and generalised approaches to the van Kampen theorem [1]. As shown in [11], adhesive categories are closed under several categorical constructions, thus if C and D are adhesive then so is their product C × D, choosing any object C ∈ C, the slice category C/C and coslice category C/C are adhesive and, for any category X, the functor category [X, C] is adhesive. It is ? Research partially supported by epsrc grant EP/D066565/1. The first author grate- fully acknowledges the support of the Australian Research Council. also known that the category of sets and functions Set is adhesive, in particular this means that any presheaf topos [X, Set] is adhesive. These constructions are useful because adhesive categories satisfy many of the so-called hlr-axioms, and as a consequence, several important theorems about the rewriting theory of double-pushout transformations can be proved at the level of adhesive categories. Indeed, it is perhaps surprising that so many of the axioms, which were not known previously to be related, hold automatically in any adhesive category. One of the original contributions of this paper is a proof that adhesive categories satisfy the special pullback-pushout property, one of the aforementioned axioms. The central part of the paper is devoted to studying the relationship be- tween toposes and adhesive categories. Topos theory has many different facets and applications within mathematics and computer science. One of the interest- ing properties of toposes is that they have finite limits and colimits, and these behave somewhat as they do in Set. Indeed, while toposes enjoy much more structure than adhesive categories, adhesive categories themselves have certain finite colimits (pushouts along monomorphisms) and limits (pullbacks) which are well-behaved with respect to each other. The question of whether toposes are adhesive is thus a very natural one. As we have shown in [11, 12], there are adhesive categories which are not toposes. Here we prove that the converse is not true – indeed, the main contri- bution of the paper is Theorem 26, the conclusion of which states that toposes are adhesive. From a computer science perspective, this means that the theory developed for adhesive categories can be applied to any topos, not just a presheaf. This is a significant development, since topos theory is a well-established math- ematical discipline with many important results and wide-reaching applications. One interesting example of a category which is a topos and not a presheaf is the Schanuel topos. It has been used (see [8], for example) to model languages with name binding, such as the Pi-calculus. Our theorem thus allows us to apply the rewriting theory developed for adhesive categories to such a setting. While we do not study this example in detail within the present paper, we plan to study such systems as part of future work. The Schanuel topos actually arises as a full subcategory of a presheaf category with objects the (atomic) sheaves. It is a general fact that any such category of sheaves is a topos. The proof of our theorem relies on exploiting the connections between adhe- sive categories (or more generally, van Kampen squares), Brown and Janelidze’s generalised van Kampen theorems and Grothedieck’s theory of descent. Indeed, in order to prove that toposes are adhesive, we must show that pushouts along monomorphisms are van Kampen. To do so, we split such a pushout into two: one pushout with all morphisms mono, and one with two monomorphisms and two epimorphisms. The former is also a pullback in any topos, and a theorem of Brown and Janelidze’s (here recalled as Theorem 23) guarantees that it satisfies the van Kampen theorem – which implies that the original pushout is a van Kampen square. Here we also prove that pushouts of the latter kind are van Kampen in a topos, it is the most difficult and technical result of the paper. 2 f C / B m n A g / D Fig. 1. Pushout diagram. This completes the proof because, as we show in Lemma 2, van Kampen squares compose in categories with pullbacks and pushouts. Structure of the paper. In Section 1 we recall two equivalent ways of defining van Kampen squares and show that van Kampen squares compose in categories with pushouts and pullbacks. We recall the definition of adhesive categories and prove that adhesive categories enjoy the special pullback-pushout property. Section 2 recalls the fragments of descent theory and topos theory necessary for our main result. In Section 3, we recall the theorem of Brown and Janelidze, which forms one of the ingredients of the proof of our main Theorem 26. Theorem 25 is the other main ingredient, and its proof relies on the background introduced in Section 2. We conclude in Section 4 with several directions for future work. The paper is relatively self-contained, although we omit the proofs of well-known results and instead provide references to standard sources. 1 Van Kampen squares and adhesive categories Adhesive and quasiadhesive categories are defined using certain pushout dia- grams which are called van Kampen squares. We refer the reader to [11, 12] for an introduction to, the enumeration of the basic properties of, and the appli- cations of adhesive and quasiadhesive categories. Here we shall concentrate on the definitions of van Kampen squares and derive the properties which will be needed for the proof of our main result. We shall also prove that adhesive cat- egories satisfy the so-called special pullback-pushout property, which is one of the many hlr axioms, the majority of which have already been shown in [11,12] to hold in any adhesive category. We shall need both the axiomatic and the “equivalence of categories” versions of the definitions of van Kampen squares [12]. In particular, using the former, we shall show that van Kampen squares compose in categories with pushouts and pullbacks, and that adhesive categories satisfy the special pullback-pushout property. The fact that van Kampen squares compose, together with the latter, equivalent, way of defining van Kampen squares will be used in the proof of our main Theorem 26. The latter definition of van Kampen squares also makes it possible to establish a relationship between van Kampen squares and Brown and Janelidze’s generalised van Kampen theorems, as we shall explain in §3. 3 Definition 1. A van Kampen square is a pushout di- 0 0 m0 ii C K f agram as in Fig 1 which satisfies the following condi- iiii KK 0 tiii c % 0 A i B tion: KKK iiii g0 % iii D0 ti n0 – for any commutative cube, as illustrated, of which a b Fig 1 forms the bottom face and the back faces are m C f iiii KKK pullbacks: the front faces are pullbacks iff the top iii K% A ti d B KK iiii face is a pushout. gKK iiin % D tii The following lemma shows that, in categories with pushouts and pullbacks, van Kampen squares paste together to give van Kampen squares. Lemma 2. Consider the illustrated commutative diagram · / · / · in a category with pushouts and pullbacks. If (1) and (2) (1) (2) are van Kampen then so is (1)+(2). · / · / · Proof. Straightforward; in order to show that the combined pushout is stable under pullback it suffices to break up a cube into two cubes, using the existence of pullbacks. Conversely, a cube with its top face a pushout, can be split into two using the existence of pullbacks and pushouts. ut We shall now recall an equivalent definition of van Kampen squares which will be useful for the purposes of this paper. The reader is referred to [12] for the proof that the definitions are equivalent.
Load more

Recommended publications
  • A Category-Theoretic Approach to Representation and Analysis of Inconsistency in Graph-Based Viewpoints
    A Category-Theoretic Approach to Representation and Analysis of Inconsistency in Graph-Based Viewpoints by Mehrdad Sabetzadeh A thesis submitted in conformity with the requirements for the degree of Master of Science Graduate Department of Computer Science University of Toronto Copyright c 2003 by Mehrdad Sabetzadeh Abstract A Category-Theoretic Approach to Representation and Analysis of Inconsistency in Graph-Based Viewpoints Mehrdad Sabetzadeh Master of Science Graduate Department of Computer Science University of Toronto 2003 Eliciting the requirements for a proposed system typically involves different stakeholders with different expertise, responsibilities, and perspectives. This may result in inconsis- tencies between the descriptions provided by stakeholders. Viewpoints-based approaches have been proposed as a way to manage incomplete and inconsistent models gathered from multiple sources. In this thesis, we propose a category-theoretic framework for the analysis of fuzzy viewpoints. Informally, a fuzzy viewpoint is a graph in which the elements of a lattice are used to specify the amount of knowledge available about the details of nodes and edges. By defining an appropriate notion of morphism between fuzzy viewpoints, we construct categories of fuzzy viewpoints and prove that these categories are (finitely) cocomplete. We then show how colimits can be employed to merge the viewpoints and detect the inconsistencies that arise independent of any particular choice of viewpoint semantics. Taking advantage of the same category-theoretic techniques used in defining fuzzy viewpoints, we will also introduce a more general graph-based formalism that may find applications in other contexts. ii To my mother and father with love and gratitude. Acknowledgements First of all, I wish to thank my supervisor Steve Easterbrook for his guidance, support, and patience.
    [Show full text]
  • Nearly Locally Presentable Categories Are Locally Presentable Is Equivalent to Vopˇenka’S Principle
    NEARLY LOCALLY PRESENTABLE CATEGORIES L. POSITSELSKI AND J. ROSICKY´ Abstract. We introduce a new class of categories generalizing locally presentable ones. The distinction does not manifest in the abelian case and, assuming Vopˇenka’s principle, the same happens in the regular case. The category of complete partial orders is the natural example of a nearly locally finitely presentable category which is not locally presentable. 1. Introduction Locally presentable categories were introduced by P. Gabriel and F. Ulmer in [6]. A category K is locally λ-presentable if it is cocomplete and has a strong generator consisting of λ-presentable objects. Here, λ is a regular cardinal and an object A is λ-presentable if its hom-functor K(A, −): K → Set preserves λ-directed colimits. A category is locally presentable if it is locally λ-presentable for some λ. This con- cept of presentability formalizes the usual practice – for instance, finitely presentable groups are precisely groups given by finitely many generators and finitely many re- lations. Locally presentable categories have many nice properties, in particular they are complete and co-wellpowered. Gabriel and Ulmer [6] also showed that one can define locally presentable categories by using just monomorphisms instead all morphisms. They defined λ-generated ob- jects as those whose hom-functor K(A, −) preserves λ-directed colimits of monomor- phisms. Again, this concept formalizes the usual practice – finitely generated groups are precisely groups admitting a finite set of generators. This leads to locally gener- ated categories, where a cocomplete category K is locally λ-generated if it has a strong arXiv:1710.10476v2 [math.CT] 2 Apr 2018 generator consisting of λ-generated objects and every object of K has only a set of strong quotients.
    [Show full text]
  • Derived Functors and Homological Dimension (Pdf)
    DERIVED FUNCTORS AND HOMOLOGICAL DIMENSION George Torres Math 221 Abstract. This paper overviews the basic notions of abelian categories, exact functors, and chain complexes. It will use these concepts to define derived functors, prove their existence, and demon- strate their relationship to homological dimension. I affirm my awareness of the standards of the Harvard College Honor Code. Date: December 15, 2015. 1 2 DERIVED FUNCTORS AND HOMOLOGICAL DIMENSION 1. Abelian Categories and Homology The concept of an abelian category will be necessary for discussing ideas on homological algebra. Loosely speaking, an abelian cagetory is a type of category that behaves like modules (R-mod) or abelian groups (Ab). We must first define a few types of morphisms that such a category must have. Definition 1.1. A morphism f : X ! Y in a category C is a zero morphism if: • for any A 2 C and any g; h : A ! X, fg = fh • for any B 2 C and any g; h : Y ! B, gf = hf We denote a zero morphism as 0XY (or sometimes just 0 if the context is sufficient). Definition 1.2. A morphism f : X ! Y is a monomorphism if it is left cancellative. That is, for all g; h : Z ! X, we have fg = fh ) g = h. An epimorphism is a morphism if it is right cancellative. The zero morphism is a generalization of the zero map on rings, or the identity homomorphism on groups. Monomorphisms and epimorphisms are generalizations of injective and surjective homomorphisms (though these definitions don't always coincide). It can be shown that a morphism is an isomorphism iff it is epic and monic.
    [Show full text]
  • Coreflective Subcategories
    transactions of the american mathematical society Volume 157, June 1971 COREFLECTIVE SUBCATEGORIES BY HORST HERRLICH AND GEORGE E. STRECKER Abstract. General morphism factorization criteria are used to investigate categorical reflections and coreflections, and in particular epi-reflections and mono- coreflections. It is shown that for most categories with "reasonable" smallness and completeness conditions, each coreflection can be "split" into the composition of two mono-coreflections and that under these conditions mono-coreflective subcategories can be characterized as those which are closed under the formation of coproducts and extremal quotient objects. The relationship of reflectivity to closure under limits is investigated as well as coreflections in categories which have "enough" constant morphisms. 1. Introduction. The concept of reflections in categories (and likewise the dual notion—coreflections) serves the purpose of unifying various fundamental con- structions in mathematics, via "universal" properties that each possesses. His- torically, the concept seems to have its roots in the fundamental construction of E. Cech [4] whereby (using the fact that the class of compact spaces is productive and closed-hereditary) each completely regular F2 space is densely embedded in a compact F2 space with a universal extension property. In [3, Appendice III; Sur les applications universelles] Bourbaki has shown the essential underlying similarity that the Cech-Stone compactification has with other mathematical extensions, such as the completion of uniform spaces and the embedding of integral domains in their fields of fractions. In doing so, he essentially defined the notion of reflections in categories. It was not until 1964, when Freyd [5] published the first book dealing exclusively with the theory of categories, that sufficient categorical machinery and insight were developed to allow for a very simple formulation of the concept of reflections and for a basic investigation of reflections as entities themselvesi1).
    [Show full text]
  • Limits Commutative Algebra May 11 2020 1. Direct Limits Definition 1
    Limits Commutative Algebra May 11 2020 1. Direct Limits Definition 1: A directed set I is a set with a partial order ≤ such that for every i; j 2 I there is k 2 I such that i ≤ k and j ≤ k. Let R be a ring. A directed system of R-modules indexed by I is a collection of R modules fMi j i 2 Ig with a R module homomorphisms µi;j : Mi ! Mj for each pair i; j 2 I where i ≤ j, such that (i) for any i 2 I, µi;i = IdMi and (ii) for any i ≤ j ≤ k in I, µi;j ◦ µj;k = µi;k. We shall denote a directed system by a tuple (Mi; µi;j). The direct limit of a directed system is defined using a universal property. It exists and is unique up to a unique isomorphism. Theorem 2 (Direct limits). Let fMi j i 2 Ig be a directed system of R modules then there exists an R module M with the following properties: (i) There are R module homomorphisms µi : Mi ! M for each i 2 I, satisfying µi = µj ◦ µi;j whenever i < j. (ii) If there is an R module N such that there are R module homomorphisms νi : Mi ! N for each i and νi = νj ◦µi;j whenever i < j; then there exists a unique R module homomorphism ν : M ! N, such that νi = ν ◦ µi. The module M is unique in the sense that if there is any other R module M 0 satisfying properties (i) and (ii) then there is a unique R module isomorphism µ0 : M ! M 0.
    [Show full text]
  • Coequalizers and Tensor Products for Continuous Idempotent Semirings
    Coequalizers and Tensor Products for Continuous Idempotent Semirings Mark Hopkins? and Hans Leiß?? [email protected] [email protected] y Abstract. We provide constructions of coproducts, free extensions, co- equalizers and tensor products for classes of idempotent semirings in which certain subsets have least upper bounds and the operations are sup-continuous. Among these classes are the ∗-continuous Kleene alge- bras, the µ-continuous Chomsky-algebras, and the unital quantales. 1 Introduction The theory of formal languages and automata has well-recognized connections to algebra, as shown by work of S. C. Kleene, H. Conway, S. Eilenberg, D. Kozen and many others. The core of the algebraic treatment of the field deals with the class of regular languages and finite automata/transducers. Here, right from the beginnings in the 1960s one finds \regular" operations + (union), · (elementwise concatenation), * (iteration, i.e. closure under 1 and ·) and equational reasoning, and eventually a consensus was reached that drew focus to so-called Kleene algebras to model regular languages and finite automata. An early effort to expand the scope of algebraization to context-free languages was made by Chomsky and Sch¨utzenberger [3]. Somewhat later, around 1970, Gruska [5], McWhirter [19], Yntema [20] suggested to add a least-fixed-point op- erator µ to the regular operations. But, according to [5], \one can hardly expect to get a characterization of CFL's so elegant and simple as the one we have developed for regular expressions." Neither approach found widespread use. After the appearance of a new axiomatization of Kleene algebras by Kozen [10] in 1990, a formalization of the theory of context-free languages within the al- gebra of idempotent semirings with a least-fixed-point operator was suggested in Leiß [13] and Esik´ et al.
    [Show full text]
  • A Few Points in Topos Theory
    A few points in topos theory Sam Zoghaib∗ Abstract This paper deals with two problems in topos theory; the construction of finite pseudo-limits and pseudo-colimits in appropriate sub-2-categories of the 2-category of toposes, and the definition and construction of the fundamental groupoid of a topos, in the context of the Galois theory of coverings; we will take results on the fundamental group of étale coverings in [1] as a starting example for the latter. We work in the more general context of bounded toposes over Set (instead of starting with an effec- tive descent morphism of schemes). Questions regarding the existence of limits and colimits of diagram of toposes arise while studying this prob- lem, but their general relevance makes it worth to study them separately. We expose mainly known constructions, but give some new insight on the assumptions and work out an explicit description of a functor in a coequalizer diagram which was as far as the author is aware unknown, which we believe can be generalised. This is essentially an overview of study and research conducted at dpmms, University of Cambridge, Great Britain, between March and Au- gust 2006, under the supervision of Martin Hyland. Contents 1 Introduction 2 2 General knowledge 3 3 On (co)limits of toposes 6 3.1 The construction of finite limits in BTop/S ............ 7 3.2 The construction of finite colimits in BTop/S ........... 9 4 The fundamental groupoid of a topos 12 4.1 The fundamental group of an atomic topos with a point . 13 4.2 The fundamental groupoid of an unpointed locally connected topos 15 5 Conclusion and future work 17 References 17 ∗e-mail: [email protected] 1 1 Introduction Toposes were first conceived ([2]) as kinds of “generalised spaces” which could serve as frameworks for cohomology theories; that is, mapping topological or geometrical invariants with an algebraic structure to topological spaces.
    [Show full text]
  • Basic Category Theory and Topos Theory
    Basic Category Theory and Topos Theory Jaap van Oosten Jaap van Oosten Department of Mathematics Utrecht University The Netherlands Revised, February 2016 Contents 1 Categories and Functors 1 1.1 Definitions and examples . 1 1.2 Some special objects and arrows . 5 2 Natural transformations 8 2.1 The Yoneda lemma . 8 2.2 Examples of natural transformations . 11 2.3 Equivalence of categories; an example . 13 3 (Co)cones and (Co)limits 16 3.1 Limits . 16 3.2 Limits by products and equalizers . 23 3.3 Complete Categories . 24 3.4 Colimits . 25 4 A little piece of categorical logic 28 4.1 Regular categories and subobjects . 28 4.2 The logic of regular categories . 34 4.3 The language L(C) and theory T (C) associated to a regular cat- egory C ................................ 39 4.4 The category C(T ) associated to a theory T : Completeness Theorem 41 4.5 Example of a regular category . 44 5 Adjunctions 47 5.1 Adjoint functors . 47 5.2 Expressing (co)completeness by existence of adjoints; preserva- tion of (co)limits by adjoint functors . 52 6 Monads and Algebras 56 6.1 Algebras for a monad . 57 6.2 T -Algebras at least as complete as D . 61 6.3 The Kleisli category of a monad . 62 7 Cartesian closed categories and the λ-calculus 64 7.1 Cartesian closed categories (ccc's); examples and basic facts . 64 7.2 Typed λ-calculus and cartesian closed categories . 68 7.3 Representation of primitive recursive functions in ccc's with nat- ural numbers object .
    [Show full text]
  • A Small Complete Category
    Annals of Pure and Applied Logic 40 (1988) 135-165 135 North-Holland A SMALL COMPLETE CATEGORY J.M.E. HYLAND Department of Pure Mathematics and Mathematical Statktics, 16 Mill Lane, Cambridge CB2 ISB, England Communicated by D. van Dalen Received 14 October 1987 0. Introduction This paper is concerned with a remarkable fact. The effective topos contains a small complete subcategory, essentially the familiar category of partial equiv- alence realtions. This is in contrast to the category of sets (indeed to all Grothendieck toposes) where any small complete category is equivalent to a (complete) poset. Note at once that the phrase ‘a small complete subcategory of a topos’ is misleading. It is not the subcategory but the internal (small) category which matters. Indeed for any ordinary subcategory of a topos there may be a number of internal categories with global sections equivalent to the given subcategory. The appropriate notion of subcategory is an indexed (or better fibred) one, see 0.1. Another point that needs attention is the definition of completeness (see 0.2). In my talk at the Church’s Thesis meeting, and in the first draft of this paper, I claimed too strong a form of completeness for the internal category. (The elementary oversight is described in 2.7.) Fortunately during the writing of [13] my collaborators Edmund Robinson and Giuseppe Rosolini noticed the mistake. Again one needs to pay careful attention to the ideas of indexed (or fibred) categories. The idea that small (sufficiently) complete categories in toposes might exist, and would provide the right setting in which to discuss models for strong polymorphism (quantification over types), was suggested to me by Eugenio Moggi.
    [Show full text]
  • The Hecke Bicategory
    Axioms 2012, 1, 291-323; doi:10.3390/axioms1030291 OPEN ACCESS axioms ISSN 2075-1680 www.mdpi.com/journal/axioms Communication The Hecke Bicategory Alexander E. Hoffnung Department of Mathematics, Temple University, 1805 N. Broad Street, Philadelphia, PA 19122, USA; E-Mail: [email protected]; Tel.: +215-204-7841; Fax: +215-204-6433 Received: 19 July 2012; in revised form: 4 September 2012 / Accepted: 5 September 2012 / Published: 9 October 2012 Abstract: We present an application of the program of groupoidification leading up to a sketch of a categorification of the Hecke algebroid—the category of permutation representations of a finite group. As an immediate consequence, we obtain a categorification of the Hecke algebra. We suggest an explicit connection to new higher isomorphisms arising from incidence geometries, which are solutions of the Zamolodchikov tetrahedron equation. This paper is expository in style and is meant as a companion to Higher Dimensional Algebra VII: Groupoidification and an exploration of structures arising in the work in progress, Higher Dimensional Algebra VIII: The Hecke Bicategory, which introduces the Hecke bicategory in detail. Keywords: Hecke algebras; categorification; groupoidification; Yang–Baxter equations; Zamalodchikov tetrahedron equations; spans; enriched bicategories; buildings; incidence geometries 1. Introduction Categorification is, in part, the attempt to shed new light on familiar mathematical notions by replacing a set-theoretic interpretation with a category-theoretic analogue. Loosely speaking, categorification replaces sets, or more generally n-categories, with categories, or more generally (n + 1)-categories, and functions with functors. By replacing interesting equations by isomorphisms, or more generally equivalences, this process often brings to light a new layer of structure previously hidden from view.
    [Show full text]
  • SHEAVES of MODULES 01AC Contents 1. Introduction 1 2
    SHEAVES OF MODULES 01AC Contents 1. Introduction 1 2. Pathology 2 3. The abelian category of sheaves of modules 2 4. Sections of sheaves of modules 4 5. Supports of modules and sections 6 6. Closed immersions and abelian sheaves 6 7. A canonical exact sequence 7 8. Modules locally generated by sections 8 9. Modules of finite type 9 10. Quasi-coherent modules 10 11. Modules of finite presentation 13 12. Coherent modules 15 13. Closed immersions of ringed spaces 18 14. Locally free sheaves 20 15. Bilinear maps 21 16. Tensor product 22 17. Flat modules 24 18. Duals 26 19. Constructible sheaves of sets 27 20. Flat morphisms of ringed spaces 29 21. Symmetric and exterior powers 29 22. Internal Hom 31 23. Koszul complexes 33 24. Invertible modules 33 25. Rank and determinant 36 26. Localizing sheaves of rings 38 27. Modules of differentials 39 28. Finite order differential operators 43 29. The de Rham complex 46 30. The naive cotangent complex 47 31. Other chapters 50 References 52 1. Introduction 01AD This is a chapter of the Stacks Project, version 77243390, compiled on Sep 28, 2021. 1 SHEAVES OF MODULES 2 In this chapter we work out basic notions of sheaves of modules. This in particular includes the case of abelian sheaves, since these may be viewed as sheaves of Z- modules. Basic references are [Ser55], [DG67] and [AGV71]. We work out what happens for sheaves of modules on ringed topoi in another chap- ter (see Modules on Sites, Section 1), although there we will mostly just duplicate the discussion from this chapter.
    [Show full text]
  • Categories of Modules for Idempotent Rings and Morita Equivalences
    Master's Thesis Categories of Modules for Idempotent Rings and Morita Equivalences I Leandro Marm 1997 t Department of Mathematics University of Glasgow University Gardens Glasgow, G12 8QW ProQuest Number: 13834261 All rights reserved INFORMATION TO ALL USERS The quality of this reproduction is dependent upon the quality of the copy submitted. In the unlikely event that the author did not send a com plete manuscript and there are missing pages, these will be noted. Also, if material had to be removed, a note will indicate the deletion. uest ProQuest 13834261 Published by ProQuest LLC(2019). Copyright of the Dissertation is held by the Author. All rights reserved. This work is protected against unauthorized copying under Title 17, United States C ode Microform Edition © ProQuest LLC. ProQuest LLC. 789 East Eisenhower Parkway P.O. Box 1346 Ann Arbor, Ml 48106- 1346 10$ af 7 En resolucion, el se enfrasco tanto en su lectura, que se le pasaban las noches leyendo de claro en claro, y los dias de turbio en turbio; y asi, del poco dormir y del mucho leer se le seco el celebro 1 de manera, que vino a perder el juicio. M iguel de C ervantes Sa a v e d r a : El Ingenioso Hidalgo don Quijote de la Mancha. 1In modern Spanish this word is written ”cerebro” C ontents Chapter 1, Introduction 4 Chapter 2. Categories of Modules for Rings I 7 1. Noncommutative Localization 7 2. The Construction of the Categories 11 3. The Equivalence of the Categories 24 4. The Independence of the Base Ring 28 Chapter 3.
    [Show full text]