Enriched Model Categories and Presheaf Categories
Total Page:16
File Type:pdf, Size:1020Kb

Load more
Recommended publications
-
Types Are Internal Infinity-Groupoids Antoine Allioux, Eric Finster, Matthieu Sozeau
Types are internal infinity-groupoids Antoine Allioux, Eric Finster, Matthieu Sozeau To cite this version: Antoine Allioux, Eric Finster, Matthieu Sozeau. Types are internal infinity-groupoids. 2021. hal- 03133144 HAL Id: hal-03133144 https://hal.inria.fr/hal-03133144 Preprint submitted on 5 Feb 2021 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Types are Internal 1-groupoids Antoine Allioux∗, Eric Finstery, Matthieu Sozeauz ∗Inria & University of Paris, France [email protected] yUniversity of Birmingham, United Kingdom ericfi[email protected] zInria, France [email protected] Abstract—By extending type theory with a universe of defini- attempts to import these ideas into plain homotopy type theory tionally associative and unital polynomial monads, we show how have, so far, failed. This appears to be a result of a kind of to arrive at a definition of opetopic type which is able to encode circularity: all of the known classical techniques at some point a number of fully coherent algebraic structures. In particular, our approach leads to a definition of 1-groupoid internal to rely on set-level algebraic structures themselves (presheaves, type theory and we prove that the type of such 1-groupoids is operads, or something similar) as a means of presenting or equivalent to the universe of types. -
Arxiv:2001.09075V1 [Math.AG] 24 Jan 2020
A topos-theoretic view of difference algebra Ivan Tomašić Ivan Tomašić, School of Mathematical Sciences, Queen Mary Uni- versity of London, London, E1 4NS, United Kingdom E-mail address: [email protected] arXiv:2001.09075v1 [math.AG] 24 Jan 2020 2000 Mathematics Subject Classification. Primary . Secondary . Key words and phrases. difference algebra, topos theory, cohomology, enriched category Contents Introduction iv Part I. E GA 1 1. Category theory essentials 2 2. Topoi 7 3. Enriched category theory 13 4. Internal category theory 25 5. Algebraic structures in enriched categories and topoi 41 6. Topos cohomology 51 7. Enriched homological algebra 56 8. Algebraicgeometryoverabasetopos 64 9. Relative Galois theory 70 10. Cohomologyinrelativealgebraicgeometry 74 11. Group cohomology 76 Part II. σGA 87 12. Difference categories 88 13. The topos of difference sets 96 14. Generalised difference categories 111 15. Enriched difference presheaves 121 16. Difference algebra 126 17. Difference homological algebra 136 18. Difference algebraic geometry 142 19. Difference Galois theory 148 20. Cohomologyofdifferenceschemes 151 21. Cohomologyofdifferencealgebraicgroups 157 22. Comparison to literature 168 Bibliography 171 iii Introduction 0.1. The origins of difference algebra. Difference algebra can be traced back to considerations involving recurrence relations, recursively defined sequences, rudi- mentary dynamical systems, functional equations and the study of associated dif- ference equations. Let k be a commutative ring with identity, and let us write R = kN for the ring (k-algebra) of k-valued sequences, and let σ : R R be the shift endomorphism given by → σ(x0, x1,...) = (x1, x2,...). The first difference operator ∆ : R R is defined as → ∆= σ id, − and, for r N, the r-th difference operator ∆r : R R is the r-th compositional power/iterate∈ of ∆, i.e., → r r ∆r = (σ id)r = ( 1)r−iσi. -
1.Introduction Given a Class Σ of Morphisms of a Category X, We Can Construct a Cat- Egory of Fractions X[Σ−1] Where All Morphisms of Σ Are Invertible
Pre-Publicac¸´ oes˜ do Departamento de Matematica´ Universidade de Coimbra Preprint Number 15–41 A CALCULUS OF LAX FRACTIONS LURDES SOUSA Abstract: We present a notion of category of lax fractions, where lax fraction stands for a formal composition s∗f with s∗s = id and ss∗ ≤ id, and a corresponding calculus of lax fractions which generalizes the Gabriel-Zisman calculus of frac- tions. 1.Introduction Given a class Σ of morphisms of a category X, we can construct a cat- egory of fractions X[Σ−1] where all morphisms of Σ are invertible. More X X Σ−1 precisely, we can define a functor PΣ : → [ ] which takes the mor- Σ phisms of to isomorphisms, and, moreover, PΣ is universal with respect to this property. As shown in [13], if Σ admits a calculus of fractions, then the morphisms of X[Σ−1] can be expressed by equivalence classes of cospans (f,g) of morphisms of X with g ∈ Σ, which correspond to the for- mal compositions g−1f . We recall that categories of fractions are closely related to reflective sub- categories and orthogonality. In particular, if A is a full reflective subcat- egory of X, the class Σ of all morphisms inverted by the corresponding reflector functor – equivalently, the class of all morphisms with respect to which A is orthogonal – admits a left calculus of fractions; and A is, up to equivalence of categories, a category of fractions of X for Σ. In [3] we presented a Finitary Orthogonality Deduction System inspired by the left calculus of fractions, which can be looked as a generalization of the Implicational Logic of [20], see [4]. -
Comparison of Waldhausen Constructions
COMPARISON OF WALDHAUSEN CONSTRUCTIONS JULIA E. BERGNER, ANGELICA´ M. OSORNO, VIKTORIYA OZORNOVA, MARTINA ROVELLI, AND CLAUDIA I. SCHEIMBAUER Dedicated to the memory of Thomas Poguntke Abstract. In previous work, we develop a generalized Waldhausen S•- construction whose input is an augmented stable double Segal space and whose output is a 2-Segal space. Here, we prove that this construc- tion recovers the previously known S•-constructions for exact categories and for stable and exact (∞, 1)-categories, as well as the relative S•- construction for exact functors. Contents Introduction 2 1. Augmented stable double Segal objects 3 2. The S•-construction for exact categories 7 3. The S•-construction for stable (∞, 1)-categories 17 4. The S•-construction for proto-exact (∞, 1)-categories 23 5. The relative S•-construction 26 Appendix: Some results on quasi-categories 33 References 38 Date: May 29, 2020. 2010 Mathematics Subject Classification. 55U10, 55U35, 55U40, 18D05, 18G55, 18G30, arXiv:1901.03606v2 [math.AT] 28 May 2020 19D10. Key words and phrases. 2-Segal spaces, Waldhausen S•-construction, double Segal spaces, model categories. The first-named author was partially supported by NSF CAREER award DMS- 1659931. The second-named author was partially supported by a grant from the Simons Foundation (#359449, Ang´elica Osorno), the Woodrow Wilson Career Enhancement Fel- lowship and NSF grant DMS-1709302. The fourth-named and fifth-named authors were partially funded by the Swiss National Science Foundation, grants P2ELP2 172086 and P300P2 164652. The fifth-named author was partially funded by the Bergen Research Foundation and would like to thank the University of Oxford for its hospitality. -
Homotopical Categories: from Model Categories to ( ,)-Categories ∞
HOMOTOPICAL CATEGORIES: FROM MODEL CATEGORIES TO ( ;1)-CATEGORIES 1 EMILY RIEHL Abstract. This chapter, written for Stable categories and structured ring spectra, edited by Andrew J. Blumberg, Teena Gerhardt, and Michael A. Hill, surveys the history of homotopical categories, from Gabriel and Zisman’s categories of frac- tions to Quillen’s model categories, through Dwyer and Kan’s simplicial localiza- tions and culminating in ( ;1)-categories, first introduced through concrete mod- 1 els and later re-conceptualized in a model-independent framework. This reader is not presumed to have prior acquaintance with any of these concepts. Suggested exercises are included to fertilize intuitions and copious references point to exter- nal sources with more details. A running theme of homotopy limits and colimits is included to explain the kinds of problems homotopical categories are designed to solve as well as technical approaches to these problems. Contents 1. The history of homotopical categories 2 2. Categories of fractions and localization 5 2.1. The Gabriel–Zisman category of fractions 5 3. Model category presentations of homotopical categories 7 3.1. Model category structures via weak factorization systems 8 3.2. On functoriality of factorizations 12 3.3. The homotopy relation on arrows 13 3.4. The homotopy category of a model category 17 3.5. Quillen’s model structure on simplicial sets 19 4. Derived functors between model categories 20 4.1. Derived functors and equivalence of homotopy theories 21 4.2. Quillen functors 24 4.3. Derived composites and derived adjunctions 25 4.4. Monoidal and enriched model categories 27 4.5. -
SHORT INTRODUCTION to ENRICHED CATEGORIES FRANCIS BORCEUX and ISAR STUBBE Département De Mathématique, Université Catholique
SHORT INTRODUCTION TO ENRICHED CATEGORIES FRANCIS BORCEUX and ISAR STUBBE Departement de Mathematique, Universite Catholique de Louvain, 2 Ch. du Cyclotron, B-1348 Louvain-la-Neuve, Belgium. e-mail: [email protected] — [email protected] This text aims to be a short introduction to some of the basic notions in ordinary and enriched category theory. With reasonable detail but always in a compact fashion, we have brought together in the rst part of this paper the denitions and basic properties of such notions as limit and colimit constructions in a category, adjoint functors between categories, equivalences and monads. In the second part we pass on to enriched category theory: it is explained how one can “replace” the category of sets and mappings, which plays a crucial role in ordinary category theory, by a more general symmetric monoidal closed category, and how most results of ordinary category theory can be translated to this more general setting. For a lack of space we had to omit detailed proofs, but instead we have included lots of examples which we hope will be helpful. In any case, the interested reader will nd his way to the references, given at the end of the paper. 1. Ordinary categories When working with vector spaces over a eld K, one proves such theorems as: for all vector spaces there exists a base; every vector space V is canonically included in its bidual V ; every linear map between nite dimensional based vector spaces can be represented as a matrix; and so on. But where do the universal quantiers take their value? What precisely does “canonical” mean? How can we formally “compare” vector spaces with matrices? What is so special about vector spaces that they can be based? An answer to these questions, and many more, can be formulated in a very precise way using the language of category theory. -
Abelian Categories
Abelian Categories Lemma. In an Ab-enriched category with zero object every finite product is coproduct and conversely. π1 Proof. Suppose A × B //A; B is a product. Define ι1 : A ! A × B and π2 ι2 : B ! A × B by π1ι1 = id; π2ι1 = 0; π1ι2 = 0; π2ι2 = id: It follows that ι1π1+ι2π2 = id (both sides are equal upon applying π1 and π2). To show that ι1; ι2 are a coproduct suppose given ' : A ! C; : B ! C. It φ : A × B ! C has the properties φι1 = ' and φι2 = then we must have φ = φid = φ(ι1π1 + ι2π2) = ϕπ1 + π2: Conversely, the formula ϕπ1 + π2 yields the desired map on A × B. An additive category is an Ab-enriched category with a zero object and finite products (or coproducts). In such a category, a kernel of a morphism f : A ! B is an equalizer k in the diagram k f ker(f) / A / B: 0 Dually, a cokernel of f is a coequalizer c in the diagram f c A / B / coker(f): 0 An Abelian category is an additive category such that 1. every map has a kernel and a cokernel, 2. every mono is a kernel, and every epi is a cokernel. In fact, it then follows immediatly that a mono is the kernel of its cokernel, while an epi is the cokernel of its kernel. 1 Proof of last statement. Suppose f : B ! C is epi and the cokernel of some g : A ! B. Write k : ker(f) ! B for the kernel of f. Since f ◦ g = 0 the map g¯ indicated in the diagram exists. -
A Primer on Homotopy Colimits
A PRIMER ON HOMOTOPY COLIMITS DANIEL DUGGER Contents 1. Introduction2 Part 1. Getting started 4 2. First examples4 3. Simplicial spaces9 4. Construction of homotopy colimits 16 5. Homotopy limits and some useful adjunctions 21 6. Changing the indexing category 25 7. A few examples 29 Part 2. A closer look 30 8. Brief review of model categories 31 9. The derived functor perspective 34 10. More on changing the indexing category 40 11. The two-sided bar construction 44 12. Function spaces and the two-sided cobar construction 49 Part 3. The homotopy theory of diagrams 52 13. Model structures on diagram categories 53 14. Cofibrant diagrams 60 15. Diagrams in the homotopy category 66 16. Homotopy coherent diagrams 69 Part 4. Other useful tools 76 17. Homology and cohomology of categories 77 18. Spectral sequences for holims and hocolims 85 19. Homotopy limits and colimits in other model categories 90 20. Various results concerning simplicial objects 94 Part 5. Examples 96 21. Homotopy initial and terminal functors 96 22. Homotopical decompositions of spaces 103 23. A survey of other applications 108 Appendix A. The simplicial cone construction 108 References 108 1 2 DANIEL DUGGER 1. Introduction This is an expository paper on homotopy colimits and homotopy limits. These are constructions which should arguably be in the toolkit of every modern algebraic topologist, yet there does not seem to be a place in the literature where a graduate student can easily read about them. Certainly there are many fine sources: [BK], [DwS], [H], [HV], [V1], [V2], [CS], [S], among others. -
Profunctors, Open Maps and Bisimulation
BRICS RS-04-22 Cattani & Winskel: Profunctors, Open Maps and Bisimulation BRICS Basic Research in Computer Science Profunctors, Open Maps and Bisimulation Gian Luca Cattani Glynn Winskel BRICS Report Series RS-04-22 ISSN 0909-0878 October 2004 Copyright c 2004, Gian Luca Cattani & Glynn Winskel. BRICS, Department of Computer Science University of Aarhus. All rights reserved. Reproduction of all or part of this work is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS Report Series publications. Copies may be obtained by contacting: BRICS Department of Computer Science University of Aarhus Ny Munkegade, building 540 DK–8000 Aarhus C Denmark Telephone: +45 8942 3360 Telefax: +45 8942 3255 Internet: [email protected] BRICS publications are in general accessible through the World Wide Web and anonymous FTP through these URLs: http://www.brics.dk ftp://ftp.brics.dk This document in subdirectory RS/04/22/ Profunctors, Open Maps and Bisimulation∗ Gian Luca Cattani DS Data Systems S.p.A., Via Ugozzolo 121/A, I-43100 Parma, Italy. Email: [email protected]. Glynn Winskel University of Cambridge Computer Laboratory, Cambridge CB3 0FD, England. Email: [email protected]. October 2004 Abstract This paper studies fundamental connections between profunctors (i.e., dis- tributors, or bimodules), open maps and bisimulation. In particular, it proves that a colimit preserving functor between presheaf categories (corresponding to a profunctor) preserves open maps and open map bisimulation. Consequently, the composition of profunctors preserves open maps as 2-cells. -
All (,1)-Toposes Have Strict Univalent Universes
All (1; 1)-toposes have strict univalent universes Mike Shulman University of San Diego HoTT 2019 Carnegie Mellon University August 13, 2019 One model is not enough A (Grothendieck{Rezk{Lurie)( 1; 1)-topos is: • The category of objects obtained by \homotopically gluing together" copies of some collection of \model objects" in specified ways. • The free cocompletion of a small (1; 1)-category preserving certain well-behaved colimits. • An accessible left exact localization of an (1; 1)-category of presheaves. They are a powerful tool for studying all kinds of \geometry" (topological, algebraic, differential, cohesive, etc.). It has long been expected that (1; 1)-toposes are models of HoTT, but coherence problems have proven difficult to overcome. Main Theorem Theorem (S.) Every (1; 1)-topos can be given the structure of a model of \Book" HoTT with strict univalent universes, closed under Σs, Πs, coproducts, and identity types. Caveats for experts: 1 Classical metatheory: ZFC with inaccessible cardinals. 2 We assume the initiality principle. 3 Only an interpretation, not an equivalence. 4 HITs also exist, but remains to show universes are closed under them. Towards killer apps Example 1 Hou{Finster{Licata{Lumsdaine formalized a proof of the Blakers{Massey theorem in HoTT. 2 Later, Rezk and Anel{Biedermann{Finster{Joyal unwound this manually into a new( 1; 1)-topos-theoretic proof, with a generalization applicable to Goodwillie calculus. 3 We can now say that the HFLL proof already implies the (1; 1)-topos-theoretic result, without manual translation. (Modulo closure under HITs.) Outline 1 Type-theoretic model toposes 2 Left exact localizations 3 Injective model structures 4 Remarks Review of model-categorical semantics We can interpret type theory in a well-behaved model category E : Type theory Model category Type Γ ` A Fibration ΓA Γ Term Γ ` a : A Section Γ ! ΓA over Γ Id-type Path object . -
Enriched Categories
Enriched Categories Ross Tate May 16, 2018 Definition (Enriched Category over a Multicategory). For a multicategory M, an M-enriched category is made of: Objects A set Ob of objects Morphisms For each A and B in Ob, an object Hom(A; B) of M Identities For each A in Ob, a nullary multimorphism idA :[] !M Hom(A; A) Compositions For each A, B, and C in Ob, a multimorphism compA;B;C : [Hom(A; B); Hom(B; C)] !M Hom(A; C) Identity With the property that comp and comp equal id aidA;idHom(A;B) A;B;C aid Hom(A;B);idB A;B;C Hom(A;B) Associativity And the property that comp equals comp acompA;B;C ;idHom(C;D) A;C;D aidHom(A;B);compB;C;D A;B;D Example. A Set-enriched category is simply a category. Ob is the set of objects of the category, and Hom(A; B) is the set of morphisms from A to B. idA is the identity morphism id A, and compA;B;C is the composition function mapping f : A ! B and g : B ! C to f ; g : A ! C. The identity and associativity requirements of Set-enriched categories are exactly the identity and associativity requirements of categories. Example. Many examples of enriched categories are enriched over a multicategory M with an obvious faithful functor to Set. In such cases, M-enriched categories can be viewed as categories whose sets of morphisms are enriched with additional M-structure, and whose identities and compositions respect that structure. -
Two Constructions on Lax Functors Cahiers De Topologie Et Géométrie Différentielle Catégoriques, Tome 13, No 3 (1972), P
CAHIERS DE TOPOLOGIE ET GÉOMÉTRIE DIFFÉRENTIELLE CATÉGORIQUES ROSS STREET Two constructions on Lax functors Cahiers de topologie et géométrie différentielle catégoriques, tome 13, no 3 (1972), p. 217-264 <http://www.numdam.org/item?id=CTGDC_1972__13_3_217_0> © Andrée C. Ehresmann et les auteurs, 1972, tous droits réservés. L’accès aux archives de la revue « Cahiers de topologie et géométrie différentielle catégoriques » implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ C 1HIE ’S DE TOPOLOGIE Vol. XIII - 3 ET GEOMETRIE DIFFEREIVTIELLE TWO CONSTRUCTIONS ON LAX FUNCTORS by Ross STREET Introduction Bicategories have been defined by Jean Benabou [a], and there lre examples of bicategories which are not 2-categories. In the theory of a bicategory it appears that all the definitions and theorems of the theory of a 2-category still hold except for the addition of ( coherent? ) isomor- phisms in appropriate places. For example, in a bicategory one may speak of ’djoint 1-cells; indeed, in Benabou’s bicategory Prof of categories, profunctors and natural transformations, those profunctors which arise from functors do have adjoints in this sense. The category Cat of categories is a cartesian closed category EEK] , and a Cat-category is a 2-category. In this work 2-functor, 2-natu- ral transformation and 2-adjoint will simply mean Cat-functor, Cat-natural transformation [EK] , and Ccit-adjoint [Ke] .