Barry Mitchell

Total Page:16

File Type:pdf, Size:1020Kb

Barry Mitchell THEORY OF CATEGORIES This Page Intentionally Left Blank Pure and Applied Mathematics A Series of Monographs and Textbooks Editors Samuel Ellenberg and Hymen Eass Columbia University, New York RECENT TITLES SAMUELEILENBERG. Automata, Languages, and Machines: Volumes A and B MORRISHIRSCH AND STEPHENSMALE. Differential Equations, Dynamical Systems, and Linear Algebra WILHELMMAGNUS. Noneuclidean Tesselations and Their Groups FRANCOISTREVES. Basic Linear Partial Differential Equations WILLIAMM. BOOTHBY.An Introduction to Differentiable Manifolds and Riemannian Geometry ~AYTONGRAY. Homotopy Theory : An Introduction to Algebraic Topology ROBERTA. ADAMS.Sobolev Spaces JOHNJ. BENEDETTO.Spectral Synthesis D. V. WIDDER.The Heat Equation IRVINGEZRA S~CAL. Mathematical Cosmology and Extragalactic Astronomy J. DIEUDONN~.Treatise on Analysis : Volume 11, enlarged and corrected printing; Volume IV ; Volume V ; Volume VI, in preparation WERNERGmua, STEPHENHALPERIN, AND RAYVANSTONE. Connections, Curvature, and Cohomology : Volume 111, Cohoniology of Principal Bundles and Homogeneous Spaces I. MARTINISAACS. Character Theory of Finite Groups JAMESR. BROWN.Ergodic Theory and Topological Dynamics C. TRUESDELL.A First Course in Rational Continuum Mechanics: Volume 1, General Concepts GEORGEGRATZER. General Lattice Theory K. D. STROYANAND W. A. J. LUXEMBURG.Introduction to the Theory of Infinitesimals B. M. PUTTASWAMAIAHAND JOHN D. DIXON.Modular Representations of Finite Groups MmwN BERGER.Nonlinearity and Functional Analysis : Lectures on Nonlinear Problems in Mathematical Analysis CHARALAMBOSD. ALIPRANTIS AND OWENBURKINSHAW. Locally Solid Riesz Spaces In preparation JANMIKUSINSKI. The Bochner Integral MICHIELHAZEWINKEL. Formal Groups and Applications THOMASJECH. Set Theory SIGURDURHELGASON. Differential Geometry, Lie Groups, and Symmetric Spaces CARLL. DEVITO. Functional Analysis This Page Intentionally Left Blank THEORY OF CATEGORIES BARRY MITCHELL 1965 ACADEMIC PRESS New York and London A Subsidiary of Harcourt Brace Jovanovich, Publishers COPYRIGHT 0 1965, BY ACADEMICPRESS, INC. ALL RIGHTS RESERVED NO PART OF THIS BOOK MAY BE REPRODUCED m ANY FORM, BY PHOTOSTAT, MICROFILM, RETRIEVAL SYSTEM, OR ANY OTHER MEANS, WITHOUT WRIlTEN PERMISSION FROM THE PUBLISHERS. ACADEMIC PRESS, INC. 111 Fifth Avenue, New York, New York 10003 United Kingdom Edition published by ACADEMlC PRESS, INC. (LONDON) LTD. 24/28 Oval Road. London NWI LIBRARYOF CONGRESSCATALOG CARD NUMBER: 65-22761 Preface A number of sophisticated people tend to disparage category theory as consistently as others disparage certain kinds of classical music. When obliged. to speak of a category they do so in an apologetic tone, similar to the way some sa,y, “It was a gift-I’ve never even played it” when a record of Chopin Nocturnes is discovered in their possession. For this reason I add to the usual prerequisite that the reader have a fair amount of mathematical sophistication, the further prerequisite that he have no other kind. Functors, categories, natural transformations, and duality were introduced in the early 1940’s by Eilenberg and MacLane [ 10,11]. Originally, the purpose of these notions was to provide a technique for clarifying certain coficepts, such as that of natural isomorphism. Category theory as a field in itself lay relatively dormant during the following ten years. Nevertheless some work was done by MacLane [28, 291, who introduced the important idea of defining kernels, cokernels, direct sums, etc. ,in terms of universal mapping properties rather than in terms of the elements of the objects involved. MacLane also gave some insight into the nature of the duality principle, illustrating it with the dual nature of the frees and the divisibles in the category of abelian groups (the projectives and injectives, respectively, in that category). Then with the writing of the book “Homological Algebra” by Cartan and Eilenberg [6], it became apparent that most propositions concerning finite diagrams of modules could be proved in a more general type of category and, moreover, that the number of such propositions could be halved through the use of duality. This led to a full-fledged investigation of abelian categories by Buchsbaum [3] (therein called exact categories). Grothendieck’s paper [20] soon followed, and in it were introduced the important notions of A.B.5 category and generators for a category. (The latter idea had been touched on by MacLane [29] .) Since then the theory has flourished considerably, not only in the direction of generalizing and simplifying much of the already known theorems in homological algebra, but also in its own right, notably through the imbedding theorems and their metatheoretic consequences. In Chapters 1-111 and V, I have attempted to lay a unified groundwork for the subject. The other chapters deal with matters of more specific interest. Each chapter has an introduction which gives a summary of the material to follow. I shall therefore be brief in giving a description of the contents. In Chapter I, certain notions leading to the definition of abelian category are introduced. Chapter I1 deals with general matters involving diagrams, limits, and functors. In the closing sections there is a discussion of generators, vii viii PREFACE projectives, and small objects. Chapter I11 contains a number of equivalent formulations of the Grothendieck axiom A.B.5 (herein called C,) and some of its consequences. In particular the Eckmann and Schopf results on injective envelopes [8] are obtained. Peter Freyd’s proof of the group valued imbedding theorem is given in Chapter IV. The resulting metatheorem enables one to prove certain statements about finite diagrams in general abelian categories by chasing diagrams of abelian groups. A theory of adjoint functors which includes a criterion for their existence is developed in Chapter V. Also included here is a theory of projective classes which is due to Eilenberg and Moore [ 121. The following chapter is devoted to applications of adjoints. Principal among these are the tensor product, derived and coderived functors for group-valued functors, and the full imbedding theorem. The full imbedding theorem asserts that any small abelian category admits a full, exact imbedding into the category of R-modules for some ring R. The metatheory of Chapter IV can thus be extended to theorems involving the existence of morphisms in diagrams. Following Yoneda [36], in Chapter VII we develop the theory of Ext in terms of long exact sequences. The exactness of the connected sequence is proved without the use of projectives or injectives. The proof is by Steven Schanuel. Chapter VIII contains Buchsbaum’s construction for satellites of a.dditive functors when the domain does not necessarily have projectives [5]. The exactness of the connected sequence for cosatellites of half exact functors is proved in the case where the codomain is a C, category. In Chapter IX we obtain results for global dimension in certain categories of diagrams. These include the Hilbert syzygy theorem and some new results on global dimension of matrix rings. Here we find the main application of the projective class theory of Chapter V. Finally, in Chapter X we give a theory of sheaves with values in a category. This is a reorganization ofsome work done by Gray [ 191, and gives a further application of the theory of adjoint functors. We shall be using the language of the Godel-Bernays set theory as presented in the appendix to Kelley’s book “General Topology” [25]. Thus we shall be distinguishing between sets and classes, where by definition a set is a class which is a member of some other class. A detailed knowledge of the theory is not essential. The wordsfarnib and collection will be used synonymously with the word set. With regard to terminology, what has previously been called a direct product is herein called a product. In the category of sets, the product of a family is the Cartesian product. Generally speaking, if a notion which com- mutes with products has been called a gadget, then the dual notion has been called a cogadget. In particular what has been known as a direct sum here goes under the name of coproduct. The exceptions to the rule are monomorphism- epimorphism, injective-projective, and pullback-pushout. In these cases euphony has prevailed. In any event the words left and right have been eliminated from the language. PREFACE ix The system of internal references is as follows. Theorem 4.3 of Chapter V is referred to as V, 4.3 if the reference is made outside of Chapter V, and as 4.3 otherwise. The end of each proof is indicated by 1. I wish to express gratitude to David Buchsbaum who has given me much assistance over the years, and under whose supervision I have worked out a number of proofs in this book. I have received encouragement from MacLane on a number of occasions, and the material on Ext is roughly as presented in one of his courses during 1959. The value of conversations with Peter Freyd cannot be overestimated, and I have made extensive use of his very elegant work. Conversations with Eilenberg, who has read parts of the manuscript, have helped sharpen up some of the results, and have led to the system of terminology which I have adopted. In particular he has suggested a proof of IX, 7.2 along the lines given here. This has replaced a clumsier proof of an earlier draft, and has led me to make fairly wide use of the pro- jective class theory. This book has been partially supported by a National Science Foundation Grant at Columbia University. I particularly wish to thank Miss Linda Schmidt, whose patience and accuracy have minimized the difficulties in the typing of the manuscript. B. MITCHELL Columbia University, New York May, 1964 This Page Intentionally Left Blank Contents PREFACE . vii I. Preliminaries Introduction . 1 1. Definition . .1 2. The Nonobjective Approach . .2 3. Examples . .3 4. Duality . .4 5. Special Morphisms . .4 6. Equalizers . .7 7. Pullbacks, Pushouts . .9 8. Intersections . 10 9. Unions . I1 10. Images . 12 11. Inverse Images. .. 13 12.
Recommended publications
  • Injective Modules: Preparatory Material for the Snowbird Summer School on Commutative Algebra
    INJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA These notes are intended to give the reader an idea what injective modules are, where they show up, and, to a small extent, what one can do with them. Let R be a commutative Noetherian ring with an identity element. An R- module E is injective if HomR( ;E) is an exact functor. The main messages of these notes are − Every R-module M has an injective hull or injective envelope, de- • noted by ER(M), which is an injective module containing M, and has the property that any injective module containing M contains an isomorphic copy of ER(M). A nonzero injective module is indecomposable if it is not the direct • sum of nonzero injective modules. Every injective R-module is a direct sum of indecomposable injective R-modules. Indecomposable injective R-modules are in bijective correspondence • with the prime ideals of R; in fact every indecomposable injective R-module is isomorphic to an injective hull ER(R=p), for some prime ideal p of R. The number of isomorphic copies of ER(R=p) occurring in any direct • sum decomposition of a given injective module into indecomposable injectives is independent of the decomposition. Let (R; m) be a complete local ring and E = ER(R=m) be the injec- • tive hull of the residue field of R. The functor ( )_ = HomR( ;E) has the following properties, known as Matlis duality− : − (1) If M is an R-module which is Noetherian or Artinian, then M __ ∼= M.
    [Show full text]
  • BIPRODUCTS WITHOUT POINTEDNESS 1. Introduction
    BIPRODUCTS WITHOUT POINTEDNESS MARTTI KARVONEN Abstract. We show how to define biproducts up to isomorphism in an ar- bitrary category without assuming any enrichment. The resulting notion co- incides with the usual definitions whenever all binary biproducts exist or the category is suitably enriched, resulting in a modest yet strict generalization otherwise. We also characterize when a category has all binary biproducts in terms of an ambidextrous adjunction. Finally, we give some new examples of biproducts that our definition recognizes. 1. Introduction Given two objects A and B living in some category C, their biproduct { according to a standard definition [4] { consists of an object A ⊕ B together with maps p i A A A ⊕ B B B iA pB such that pAiA = idA pBiB = idB pBiA = 0A;B pAiB = 0B;A and idA⊕B = iApA + iBpB. For us to be able to make sense of the equations, we must assume that C is enriched in commutative monoids. One can get a slightly more general definition that only requires zero morphisms but no addition { that is, enrichment in pointed sets { by replacing the last equation with the condition that (A ⊕ B; pA; pB) is a product of A and B and that (A ⊕ B; iA; iB) is their coproduct. We will call biproducts in the first sense additive biproducts and in the second sense pointed biproducts in order to contrast these definitions with our central object of study { a pointless generalization of biproducts that can be applied in any category C, with no assumptions concerning enrichment. This is achieved by replacing the equations referring to zero with the single equation (1.1) iApAiBpB = iBpBiApA, which states that the two canonical idempotents on A ⊕ B commute with one another.
    [Show full text]
  • EXERCISES on LIMITS & COLIMITS Exercise 1. Prove That Pullbacks Of
    EXERCISES ON LIMITS & COLIMITS PETER J. HAINE Exercise 1. Prove that pullbacks of epimorphisms in Set are epimorphisms and pushouts of monomorphisms in Set are monomorphisms. Note that these statements cannot be deduced from each other using duality. Now conclude that the same statements hold in Top. Exercise 2. Let 푋 be a set and 퐴, 퐵 ⊂ 푋. Prove that the square 퐴 ∩ 퐵 퐴 퐵 퐴 ∪ 퐵 is both a pullback and pushout in Set. Exercise 3. Let 푅 be a commutative ring. Prove that every 푅-module can be written as a filtered colimit of its finitely generated submodules. Exercise 4. Let 푋 be a set. Give a categorical definition of a topology on 푋 as a subposet of the power set of 푋 (regarded as a poset under inclusion) that is stable under certain categorical constructions. Exercise 5. Let 푋 be a space. Give a categorical description of what it means for a set of open subsets of 푋 to form a basis for the topology on 푋. Exercise 6. Let 퐶 be a category. Prove that if the identity functor id퐶 ∶ 퐶 → 퐶 has a limit, then lim퐶 id퐶 is an initial object of 퐶. Definition. Let 퐶 be a category and 푋 ∈ 퐶. If the coproduct 푋 ⊔ 푋 exists, the codiagonal or fold morphism is the morphism 훻푋 ∶ 푋 ⊔ 푋 → 푋 induced by the identities on 푋 via the universal property of the coproduct. If the product 푋 × 푋 exists, the diagonal morphism 훥푋 ∶ 푋 → 푋 × 푋 is defined dually. Exercise 7. In Set, show that the diagonal 훥푋 ∶ 푋 → 푋 × 푋 is given by 훥푋(푥) = (푥, 푥) for all 푥 ∈ 푋, so 훥푋 embeds 푋 as the diagonal in 푋 × 푋, hence the name.
    [Show full text]
  • The Factorization Problem and the Smash Biproduct of Algebras and Coalgebras
    Algebras and Representation Theory 3: 19–42, 2000. 19 © 2000 Kluwer Academic Publishers. Printed in the Netherlands. The Factorization Problem and the Smash Biproduct of Algebras and Coalgebras S. CAENEPEEL1, BOGDAN ION2, G. MILITARU3;? and SHENGLIN ZHU4;?? 1University of Brussels, VUB, Faculty of Applied Sciences, Pleinlaan 2, B-1050 Brussels, Belgium 2Department of Mathematics, Princeton University, Fine Hall, Washington Road, Princeton, NJ 08544-1000, U.S.A. 3University of Bucharest, Faculty of Mathematics, Str. Academiei 14, RO-70109 Bucharest 1, Romania 4Institute of Mathematics, Fudan University, Shanghai 200433, China (Received: July 1998) Presented by A. Verschoren Abstract. We consider the factorization problem for bialgebras. Let L and H be algebras and coalgebras (but not necessarily bialgebras) and consider two maps R: H ⊗ L ! L ⊗ H and W: L ⊗ H ! H ⊗ L. We introduce a product K D L W FG R H and we give necessary and sufficient conditions for K to be a bialgebra. Our construction generalizes products introduced by Majid and Radford. Also, some of the pointed Hopf algebras that were recently constructed by Beattie, Dascˇ alescuˇ and Grünenfelder appear as special cases. Mathematics Subject Classification (2000): 16W30. Key words: Hopf algebra, smash product, factorization structure. Introduction The factorization problem for a ‘structure’ (group, algebra, coalgebra, bialgebra) can be roughly stated as follows: under which conditions can an object X be written as a product of two subobjects A and B which have minimal intersection (for example A \ B Df1Xg in the group case). A related problem is that of the construction of a new object (let us denote it by AB) out of the objects A and B.In the constructions of this type existing in the literature ([13, 20, 27]), the object AB factorizes into A and B.
    [Show full text]
  • Diagram Chasing in Abelian Categories
    Diagram Chasing in Abelian Categories Daniel Murfet October 5, 2006 In applications of the theory of homological algebra, results such as the Five Lemma are crucial. For abelian groups this result is proved by diagram chasing, a procedure not immediately available in a general abelian category. However, we can still prove the desired results by embedding our abelian category in the category of abelian groups. All of this material is taken from Mitchell’s book on category theory [Mit65]. Contents 1 Introduction 1 1.1 Desired results ...................................... 1 2 Walks in Abelian Categories 3 2.1 Diagram chasing ..................................... 6 1 Introduction For our conventions regarding categories the reader is directed to our Abelian Categories (AC) notes. In particular recall that an embedding is a faithful functor which takes distinct objects to distinct objects. Theorem 1. Any small abelian category A has an exact embedding into the category of abelian groups. Proof. See [Mit65] Chapter 4, Theorem 2.6. Lemma 2. Let A be an abelian category and S ⊆ A a nonempty set of objects. There is a full small abelian subcategory B of A containing S. Proof. See [Mit65] Chapter 4, Lemma 2.7. Combining results II 6.7 and II 7.1 of [Mit65] we have Lemma 3. Let A be an abelian category, T : A −→ Ab an exact embedding. Then T preserves and reflects monomorphisms, epimorphisms, commutative diagrams, limits and colimits of finite diagrams, and exact sequences. 1.1 Desired results In the category of abelian groups, diagram chasing arguments are usually used either to establish a property (such as surjectivity) of a certain morphism, or to construct a new morphism between known objects.
    [Show full text]
  • Arxiv:2008.00486V2 [Math.CT] 1 Nov 2020
    Anticommutativity and the triangular lemma. Michael Hoefnagel Abstract For a variety V, it has been recently shown that binary products com- mute with arbitrary coequalizers locally, i.e., in every fibre of the fibration of points π : Pt(C) → C, if and only if Gumm’s shifting lemma holds on pullbacks in V. In this paper, we establish a similar result connecting the so-called triangular lemma in universal algebra with a certain cat- egorical anticommutativity condition. In particular, we show that this anticommutativity and its local version are Mal’tsev conditions, the local version being equivalent to the triangular lemma on pullbacks. As a corol- lary, every locally anticommutative variety V has directly decomposable congruence classes in the sense of Duda, and the converse holds if V is idempotent. 1 Introduction Recall that a category is said to be pointed if it admits a zero object 0, i.e., an object which is both initial and terminal. For a variety V, being pointed is equivalent to the requirement that the theory of V admit a unique constant. Between any two objects X and Y in a pointed category, there exists a unique morphism 0X,Y from X to Y which factors through the zero object. The pres- ence of these zero morphisms allows for a natural notion of kernel or cokernel of a morphism f : X → Y , namely, as an equalizer or coequalizer of f and 0X,Y , respectively. Every kernel/cokernel is a monomorphism/epimorphism, and a monomorphism/epimorphism is called normal if it is a kernel/cokernel of some morphism.
    [Show full text]
  • The Left and Right Homotopy Relations We Recall That a Coproduct of Two
    The left and right homotopy relations We recall that a coproduct of two objects A and B in a category C is an object A q B together with two maps in1 : A → A q B and in2 : B → A q B such that, for every pair of maps f : A → C and g : B → C, there exists a unique map f + g : A q B → C 0 such that f = (f + g) ◦ in1 and g = (f + g) ◦ in2. If both A q B and A q B 0 0 0 are coproducts of A and B, then the maps in1 + in2 : A q B → A q B and 0 in1 + in2 : A q B → A q B are isomorphisms and each others inverses. The map ∇ = id + id: A q A → A is called the fold map. Dually, a product of two objects A and B in a category C is an object A × B together with two maps pr1 : A × B → A and pr2 : A × B → B such that, for every pair of maps f : C → A and g : C → B, there exists a unique map (f, g): C → A × B 0 such that f = pr1 ◦(f, g) and g = pr2 ◦(f, g). If both A × B and A × B 0 are products of A and B, then the maps (pr1, pr2): A × B → A × B and 0 0 0 (pr1, pr2): A × B → A × B are isomorphisms and each others inverses. The map ∆ = (id, id): A → A × A is called the diagonal map. Definition Let C be a model category, and let f : A → B and g : A → B be two maps.
    [Show full text]
  • Full Text (PDF Format)
    ASIAN J. MATH. © 1997 International Press Vol. 1, No. 2, pp. 330-417, June 1997 009 K-THEORY FOR TRIANGULATED CATEGORIES 1(A): HOMOLOGICAL FUNCTORS * AMNON NEEMANt 0. Introduction. We should perhaps begin by reminding the reader briefly of Quillen's Q-construction on exact categories. DEFINITION 0.1. Let £ be an exact category. The category Q(£) is defined as follows. 0.1.1. The objects of Q(£) are the objects of £. 0.1.2. The morphisms X •^ X' in Q(£) between X,X' G Ob{Q{£)) = Ob{£) are isomorphism classes of diagrams of morphisms in £ X X' \ S Y where the morphism X —> Y is an admissible mono, while X1 —y Y is an admissible epi. Perhaps a more classical way to say this is that X is a subquotient of X''. 0.1.3. Composition is defined by composing subquotients; X X' X' X" \ ^/ and \ y/ Y Y' compose to give X X' X" \ s \ s Y PO Y' \ S Z where the square marked PO is a pushout square. The category Q{£) can be realised to give a space, which we freely confuse with the category. The Quillen if-theory of the exact category £ was defined, in [9], to be the homotopy of the loop space of Q{£). That is, Ki{£)=ni+l[Q{£)]. Quillen proved many nice functoriality properties for his iT-theory, and the one most relevant to this article is the resolution theorem. The resolution theorem asserts the following. 7 THEOREM 0.2. Let F : £ —> J be a fully faithful, exact inclusion of exact categories.
    [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]
  • Nilpotent Elements Control the Structure of a Module
    Nilpotent elements control the structure of a module David Ssevviiri Department of Mathematics Makerere University, P.O BOX 7062, Kampala Uganda E-mail: ssevviiri@cns.mak.ac.ug, ssevviirid@yahoo.com Abstract A relationship between nilpotency and primeness in a module is investigated. Reduced modules are expressed as sums of prime modules. It is shown that presence of nilpotent module elements inhibits a module from possessing good structural properties. A general form is given of an example used in literature to distinguish: 1) completely prime modules from prime modules, 2) classical prime modules from classical completely prime modules, and 3) a module which satisfies the complete radical formula from one which is neither 2-primal nor satisfies the radical formula. Keywords: Semisimple module; Reduced module; Nil module; K¨othe conjecture; Com- pletely prime module; Prime module; and Reduced ring. MSC 2010 Mathematics Subject Classification: 16D70, 16D60, 16S90 1 Introduction Primeness and nilpotency are closely related and well studied notions for rings. We give instances that highlight this relationship. In a commutative ring, the set of all nilpotent elements coincides with the intersection of all its prime ideals - henceforth called the prime radical. A popular class of rings, called 2-primal rings (first defined in [8] and later studied in [23, 26, 27, 28] among others), is defined by requiring that in a not necessarily commutative ring, the set of all nilpotent elements coincides with the prime radical. In an arbitrary ring, Levitzki showed that the set of all strongly nilpotent elements coincides arXiv:1812.04320v1 [math.RA] 11 Dec 2018 with the intersection of all prime ideals, [29, Theorem 2.6].
    [Show full text]
  • Van Kampen Colimits As Bicolimits in Span*
    Van Kampen colimits as bicolimits in Span? Tobias Heindel1 and Pawe lSoboci´nski2 1 Abt. f¨urInformatik und angewandte kw, Universit¨atDuisburg-Essen, Germany 2 ECS, University of Southampton, United Kingdom Abstract. The exactness properties of coproducts in extensive categories and pushouts along monos in adhesive categories have found various applications in theoretical computer science, e.g. in program semantics, data type theory and rewriting. We show that these properties can be understood as a single universal property in the associated bicategory of spans. To this end, we first provide a general notion of Van Kampen cocone that specialises to the above colimits. The main result states that Van Kampen cocones can be characterised as exactly those diagrams in that induce bicolimit diagrams in the bicategory of spans Span , C C provided that C has pullbacks and enough colimits. Introduction The interplay between limits and colimits is a research topic with several applica- tions in theoretical computer science, including the solution of recursive domain equations, using the coincidence of limits and colimits. Research on this general topic has identified several classes of categories in which limits and colimits relate to each other in useful ways; extensive categories [5] and adhesive categories [21] are two examples of such classes. Extensive categories [5] have coproducts that are “well-behaved” with respect to pullbacks; more concretely, they are disjoint and universal. Extensivity has been used by mathematicians [4] and computer scientists [25] alike. In the presence of products, extensive categories are distributive [5] and thus can be used, for instance, to model circuits [28] or to give models of specifications [11].
    [Show full text]
  • LOOP SPACES for the Q-CONSTRUCTION Charles H
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Journal of Pure and Applied Algebra 52 (1988) l-30 North-Holland LOOP SPACES FOR THE Q-CONSTRUCTION Charles H. GIFFEN* Department of Mathematics, University of Virginia, Charlottesville, VA 22903, U.S. A Communicated by C.A. Weibel Received 4 November 1985 The algebraic K-groups of an exact category Ml are defined by Quillen as KJ.4 = TT,+~(Qkd), i 2 0, where QM is a category known as the Q-construction on M. For a ring R, K,P, = K,R (the usual algebraic K-groups of R) where P, is the category of finitely generated projective right R-modules. Previous study of K,R has required not only the Q-construction, but also a model for the loop space of QP,, known as the Y’S-construction. Unfortunately, the S-‘S-construction does not yield a loop space for QfLQ when M is arbitrary. In this paper, two useful models of a loop space for Qu, with no restriction on the exact category L&, are described. Moreover, these constructions are shown to be directly related to the Y’S- construction. The simpler of the two constructions fails to have a certain symmetry property with respect to dualization of the exact category mm. This deficiency is eliminated in the second construction, which is somewhat more complicated. Applications are given to the relative algebraic K-theory of an exact functor of exact categories, with special attention given to the case when the exact functor is cofinal.
    [Show full text]