Arxiv:2007.01817V3 [Math.RT] 16 Sep 2020
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
1.2 Variable Object Models and the Graded Yoneda Lemma
Abstract In this thesis, I define and study the foundations of the new framework of graded category theory, which I propose as just one structure that fits under the general banner of what Andree Eheresman has called “dynamic category theory” [1]. Two approaches to defining graded categories are developed and shown to be equivalent formulations by a novel variation on the Grothendieck construction. Various notions of graded categorical constructions are studied within this frame- work. In particular, the structure of graded categories in general is then further elu- cidated by studying so-called “variable-object” models, and a version of the Yoneda lemma for graded categories. As graded category theory was originally developed in order to better understand the intuitive notions of absolute and relative cardinality – these notions are applied to the problem of vindicating the Skolemite thesis that “all sets, from an absolute perspective, are countable”. Finally, I discuss some open problems in this frame- work, discuss some potential applications, and discuss some of the relationships of my approach to existing approaches in the literature. This work is licensed under a Creative Commons “Attribution-NonCommercial-ShareAlike 3.0 Unported” license. To my friends, family, and loved ones – all that have stood by me and believed that I could make it this far. Acknowledgments There are many people here that I should thank for their role, both directly and in- directly, in helping me shape this thesis. Necessarily, just due to the sheer number of those who have had an impact on my personal and intellectual development through- out the years, there will have to be some omissions. -
A Whirlwind Tour of the World of (∞,1)-Categories
Contemporary Mathematics A Whirlwind Tour of the World of (1; 1)-categories Omar Antol´ınCamarena Abstract. This introduction to higher category theory is intended to a give the reader an intuition for what (1; 1)-categories are, when they are an appro- priate tool, how they fit into the landscape of higher category, how concepts from ordinary category theory generalize to this new setting, and what uses people have put the theory to. It is a rough guide to a vast terrain, focuses on ideas and motivation, omits almost all proofs and technical details, and provides many references. Contents 1. Introduction 2 2. The idea of higher category theory 3 2.1. The homotopy hypothesis and the problem with strictness 5 2.2. The 3-type of S2 8 2.3. Shapes for cells 10 2.4. What does (higher) category theory do for us? 11 3. Models of (1; 1)-categories 12 3.1. Topological or simplicial categories 12 3.2. Quasi-categories 13 3.3. Segal categories and complete Segal spaces 16 3.4. Relative categories 17 3.5. A1-categories 18 3.6. Models of subclasses of (1; 1)-categories 20 3.6.1. Model categories 20 3.6.2. Derivators 21 3.6.3. dg-categories, A1-categories 22 4. The comparison problem 22 4.1. Axiomatization 24 5. Basic (1; 1)-category theory 25 5.1. Equivalences 25 5.1.1. Further results for quasi-categories 26 5.2. Limits and colimits 26 5.3. Adjunctions, monads and comonads 28 2010 Mathematics Subject Classification. Primary 18-01. -
Download File
Cellular dg-categories and their applications to homotopy theory of A1-categories Oleksandr Kravets Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy under the Executive Committee of the Graduate School of Arts and Sciences COLUMBIA UNIVERSITY 2020 © 2020 Oleksandr Kravets All Rights Reserved Abstract Cellular dg-categories and their applications to homotopy theory of A1-categories Oleksandr Kravets We introduce the notion of cellular dg-categories mimicking the properties of topological CW-complexes. We study the properties of such categories and provide various examples corre- sponding to the well-known geometrical objects. We also show that these categories are suitable for encoding coherence conditions in homotopy theoretical constructs involving A1-categories. In particular, we formulate the notion of a homotopy coherent monoid action on an A1-category which can be used in constructions involved in Homological Mirror Symmetry. Table of Contents Acknowledgments ........................................ iv Dedication ............................................ v Chapter 0: Introduction .................................... 1 0.1 Motivation....................................... 1 0.2 Idea and implementation ............................... 2 Chapter 1: Preliminaries .................................... 5 1.1 Chain complexes and dg-categories.......................... 6 1.2 A1-categories..................................... 10 1.2.1 A1-functors and transformations....................... 14 1.2.2 -
Notes on Category Theory
Notes on Category Theory Mariusz Wodzicki November 29, 2016 1 Preliminaries 1.1 Monomorphisms and epimorphisms 1.1.1 A morphism m : d0 ! e is said to be a monomorphism if, for any parallel pair of arrows a / 0 d / d ,(1) b equality m ◦ a = m ◦ b implies a = b. 1.1.2 Dually, a morphism e : c ! d is said to be an epimorphism if, for any parallel pair (1), a ◦ e = b ◦ e implies a = b. 1.1.3 Arrow notation Monomorphisms are often represented by arrows with a tail while epimorphisms are represented by arrows with a double arrowhead. 1.1.4 Split monomorphisms Exercise 1 Given a morphism a, if there exists a morphism a0 such that a0 ◦ a = id (2) then a is a monomorphism. Such monomorphisms are said to be split and any a0 satisfying identity (2) is said to be a left inverse of a. 3 1.1.5 Further properties of monomorphisms and epimorphisms Exercise 2 Show that, if l ◦ m is a monomorphism, then m is a monomorphism. And, if l ◦ m is an epimorphism, then l is an epimorphism. Exercise 3 Show that an isomorphism is both a monomorphism and an epimor- phism. Exercise 4 Suppose that in the diagram with two triangles, denoted A and B, ••u [^ [ [ B a [ b (3) A [ u u ••u the outer square commutes. Show that, if a is a monomorphism and the A triangle commutes, then also the B triangle commutes. Dually, if b is an epimorphism and the B triangle commutes, then the A triangle commutes. -
The Grothendieck Construction and Gradings for Enriched Categories
The Grothendieck Construction and Gradings for Enriched Categories Dai Tamaki ∗† October 25, 2018 Abstract The Grothendieck construction is a process to form a single category from a diagram of small categories. In this paper, we extend the definition of the Grothendieck construction to diagrams of small categories enriched over a symmetric monoidal category satisfying certain conditions. Symmetric monoidal categories satisfying the conditions in this paper include the category of k-modules over a commutative ring k, the category of chain complexes, the category of simplicial sets, the category of topological spaces, and the category of modern spectra. In particular, we obtain a generalization of the orbit category construction in [CM06]. We also extend the notion of graded categories and show that the Grothendieck construction takes values in the category of graded categories. Our definition of graded category does not require any coproduct decompositions and generalizes k-linear graded categories indexed by small categories defined in [Low08]. There are two popular ways to construct functors from the category of graded categories to the category of oplax functors. One of them is the smash product construction defined and studied in [CM06, Asaa, Asab] for k-linear categories and the other one is the fiber functor. We construct extensions of these functors for enriched categories and show that they are “right adjoint” to the Grothendieck construction in suitable senses. As a byproduct, we obtain a new short description of small enriched categories. Contents 1 Introduction 2 1.1 TheGrothendieckConstruction. ............. 2 1.2 GradingsofCategories............................... ........... 4 1.3 AimandScope ....................................... ....... 5 1.4 Organization ....................................... ........ 5 arXiv:0907.0061v1 [math.CT] 1 Jul 2009 2 Categorical Preliminaries 6 2.1 MonoidalCategories ................................ -
Basic Concepts of Enriched Category Theory
Reprints in Theory and Applications of Categories, No. 10, 2005. BASIC CONCEPTS OF ENRICHED CATEGORY THEORY G.M. KELLY, F.A.A. PROFESSOR OF PURE MATHEMATICS, UNIVERSITY OF SYDNEY Received by the editors 2004-10-30. Transmitted by Steve Lack, Ross Street and RJ Wood. Reprint published on 2005-04-23. 2000 Mathematics Subject Classification: 18-02, 18D10, 18D20. Key words and phrases: enriched categories, monoidal categories. Originally published by Cambridge University Press, London Mathematical Society Lecture Notes Series 64, 1982 c G.M. Kelly, 2005. Permission to copy for private use granted. i ii Acknowledgements for the Reprint: From the author: I want first to express my very deep gratitude to the volunteer typists whose efforts have allowed the production of this attractive reprint of ‘Basic Concepts of Enriched Category Theory’. They are: Richard Garner, who had begun to re-type the book for his own use and offered several chapters, along with Toby Bartels, William Boshuck, Maria Manuel Clementino, Robert Dawson, Steve Lack, Tom Leinster, Francisco Marmolejo, Shane O’Conchuir, Craig Pastro, Mark Weber and Ralph Wojtowicz - each of whom handled several sections. Thanks also to the many other colleagues who offered to help with the typing. I am in addition particularly indebted to Donovan Van Osdol for his careful proof- reading of the text; to Michael Barr for his coordination of the volunteer effort, for his elegant typesetting of the diagrams, and for his fine work on the index; and to Bob Rose- brugh, the Managing Editor, for his constant encouragement and for many kindnesses: to these, too, I offer my very sincere thanks. -
Colored Operads
GRADUATE STUDIES IN MATHEMATICS 170 Colored Operads Donald Yau American Mathematical Society Colored Operads https://doi.org/10.1090//gsm/170 GRADUATE STUDIES IN MATHEMATICS 170 Colored Operads Donald Yau American Mathematical Society Providence, Rhode Island EDITORIAL COMMITTEE Dan Abramovich Daniel S. Freed Rafe Mazzeo (Chair) Gigliola Staffilani 2010 Mathematics Subject Classification. Primary 18D50, 18D10, 18D20, 18A40, 05-01, 06F05. For additional information and updates on this book, visit www.ams.org/bookpages/gsm-170 Library of Congress Cataloging-in-Publication Data Yau, Donald Y. (Donald Ying), 1977– Colored operads / Donald Yau. pages cm. — (Graduate studies in mathematics ; volume 170) Includes bibliographical references and index. ISBN 978-1-4704-2723-8 (alk. paper) 1. Operads. 2. Algebra, Homological. 3. Knot theory. I. Title. II. Title: Operads. QA169.Y38 2016 512.62—dc23 2015036707 Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy select pages for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given. Republication, systematic copying, or multiple reproduction of any material in this publication is permitted only under license from the American Mathematical Society. Permissions to reuse portions of AMS publication content are handled by Copyright Clearance Center’s RightsLink service. For more information, please visit: http://www.ams.org/rightslink. Send requests for translation rights and licensed reprints to [email protected]. Excluded from these provisions is material for which the author holds copyright. -
Morphisms of Rings
Morphisms of Rings Robert Par´e Abstract Natural questions related to the double category of rings with ho- momorphisms and bimodules lead to a reevaluation of what a morphism of rings is. We introduce matrix-valued homomorphisms and then drop preser- vation of identities, giving what are sometimes called amplification homomor- phisms. We show how these give extensions of the double category of rings and give some arguments justifying their study. Introduction In 1967 when I started my PhD under Jim Lambek's direction, he had already shifted his main interest from ring theory to category theory. I never had a course in ring theory from him but I learned in his category theory course, and in more detail, from his book [5], that rings were not necessarily commutative but had an identity element 1, and that homomorphisms, in addition to preserving sum and product, should also preserve 1. In the last chapter of that same book, he introduces bimodules and their tensor product and shows that it is associative and unitary up to isomor- phism. The tensor product is of course only defined if the rings of scalars match up properly just like composition in categories. It would seem then that we have a sort of category whose objects are rings and whose mor- phisms are bimodules. Although he doesn't say so there (it wasn't the place), it's clear from his later work that he knew then or shortly after that rings, bimodules and linear maps form a bicategory [1]. Robert Par´e Department of Mathematics and Statistics, Dalhousie University, Halifax, NS, Canada, B3H 4R2, e-mail: [email protected] 1 2 Robert Par´e We are used to thinking of morphisms as structure-preserving functions, so what are we to make of bimodules as morphisms? And what's the relationship with homomorphisms? These are the questions we address here. -
The Category of Graded Rings
Chapter 1 The Category of Graded Rings 1.1 Graded Rings Unless otherwise stated, all rings are assumed to be associative rings and any ring R has an identity 1 ∈ R.IfX and Y are nonempty subsets of a ring R then XY denotes the set of all finite sums of elements of the form xy with x ∈ X and y ∈ Y . The group of multiplication invertible elements of R will be denoted by U(R). Consider a multiplicatively written group G with identity element e ∈ G. AringR is graded of type G or R,isG-graded, if there is a family {Rσ,σ ∈ G} of additive subgroups Rσ of R such that R = ⊕σ∈GRσ and RσRτ ⊂ Rστ , for every σ, τ ∈ G.ForaG-graded ring R such that RσRτ = Rστ for all σ, τ ∈ G,wesaythatR is strongly graded by G. The set h(R)=∪σ∈GRσ is the set of homogeneous elements of R; a nonzero element x ∈ Rσ is said to be homogeneous of degree σ and we write : deg(x)=σ.Anelementr of R has a unique decomposition as ∈ ∈ r = σ∈G rσ with rσ Rσ for all σ G, but the sum being a finite sum i.e. almost all rσ zero. The set sup(r)={σ ∈ G, rσ =0 } is the support of r in G. By sup(R)={σ ∈ G, Rσ =0 } we denote the support of the graded ring R. In case sup(R) is a finite set we will write sup(R) < ∞ and then R is said to be a G-graded ring of finite support.