DOCSLIB.ORG

Higher Groupoid Actions, Bibundles, and Differentiation

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Higher Groupoid Actions, Bibundles, and Differentiation Higher Groupoid Actions, Bibundles, and Differentiation Dissertation zur Erlangung des mathematisch-naturwissenschaftlichen Doktorgrades „Doctor rerum naturalium“ der Georg-August-Universität Göttingen im Promotionsprogramm PhD School of Mathematical Sciences (SMS) der Georg-August University School of Science (GAUSS) vorgelegt von arXiv:1512.04209v1 [math.DG] 14 Dec 2015 Du Li aus Hunan, China Göttingen, 2014 Betreuungsausschuss Prof. Dr. Chenchang Zhu (Mathematisches Institut) Prof. Dr. Ralf Meyer (Mathematisches Institut) Mitglieder der Prüfungskommission Referentin: Prof. Dr. Chenchang Zhu Korreferent: Prof. Dr. Ralf Meyer Weitere Mitglieder der Prüfungskommission: Dr. Christian Blohmann (Max-Planck-Institut für Mathematik) Prof. Dr. Karl-Henning Rehren (Institut für Theoretische Physik) Prof. Dr. Thomas Schick (Mathematisches Institut) Prof. Dr. Max Wardetzky (Institut für Num. und Angew. Mathematik) Tag der mündlichen Prüfung: 15 Juli 2014 Abstract In this thesis, we employ simplicial methods to study actions, principal bundles, and bibundles of higher groupoids. Roughly, we use Kan fibrations to model actions of higher groupoids; we use pairs of a Kan fibration and a special acyclic fibration to model principal bundles of higher groupoids; we use inner Kan fibrations over the interval to model bibundles of higher groupoids. In particular, we show that our definitions given by the simplicial method agree with those given by the categorification approach to actions, principal bundles, and bibundles of 2-groupoids. In addition, we use the simplicial technique to prove a theorem on differentiation of higher Lie groupoids, which shows that the differentiation functor sends a higher Lie groupoid to a higher Lie algebroid. iii Acknowledgments I would first like to express my sincere gratitude to my advisor Chen- chang Zhu for her encouragement, guidance, and inspiration during my graduate studies. I am also greatly indebted to Ralf Meyer for his advice and assistance in writing this thesis. My special thanks go to my M.S. supervisor at Peking University, Liu Zhangju, for supporting me in pursuing a Ph.D. career in Göttingen. I am very thankful to the Courant Research Centre “Higher Order Structures in Mathematics” and Mathematisches Institut at Georg-August- Universität Göttingen, which supported my study during the last four years. I am glad to acknowledge the following persons for helpful discussions, suggestions, and comments: Christian Blohmann, Liu Bei, Weiwei Pan, Christopher L. Rogers,Zheng Jiguang. I am indebted to the following persons for useful discussions via email, at Mathematics Stack Exchange, or at MathOverflow: David Carchedi, David Roberts, Chris Schommer-Pries, and Laura Scull about groupoids; Zhen Lin Low and Michał R. Przybyªek about extensive categories. My appreciation also go to Suliman Albandik, Martin Callies, Malte Dehling, Rohit Holkar, George Nadareishvili for their willingness to share their mathematical knowledge with me. I am grateful to Tathagata Banerjee, Qi Zhi, Wu Xiaolei and Xiao Guohui for their linguistic help and other suggestions. I thank Nguyen Thi Thu Huong and Sutanu Roy for sharing their LATEX templates with me. I wish to thank Nan Xi for the continued encouragement. I also thank all of my friends for their help during my stay in Göttingen. Finally, I would like to thank my parents and sisters for their love, understanding, and support. Without them, I would never have been able to continue my education. This dissertation is dedicated to the memory of my dear maternal grandmother. v Contents Abstract iii Acknowledgments v 0 Introduction 1 0.1 Simplicial sets and categories . .1 0.2 2-Groupoids . .2 0.3 Actions of 2-groupoids . .2 0.4 Bibundles of 2-groupoids . .3 0.5 Differentiation of higher Lie groupoids . .3 0.6 Structure of the thesis . .4 0.7 Categorical conventions . .5 1 Lie Groupoids 7 1.1 Definition and first examples . .7 1.1.1 Examples . .9 1.2 Constructions with Lie groupoids . 10 1.2.1 Induced Lie groupoids . 10 1.2.2 Strong pullbacks . 11 1.2.3 Weak pullbacks . 11 1.3 Weak equivalences and generalised morphisms . 12 1.3.1 Weak equivalences . 12 1.3.2 Generalised morphisms . 15 1.3.3 Anafunctors . 17 1.4 Groupoid actions and HS bibundles . 17 1.4.1 Lie groupoid actions . 18 1.4.2 Principal bundles . 19 1.4.3 HS bibundles . 20 1.4.4 2-Pullbacks in the 2-category of HS bibundles . 22 1.5 Comparison of 2-categories of Lie groupoids . 23 2 Simplicial Sets 25 2.1 Preliminaries on presheaves . 25 2.2 Simplicial sets . 26 2.3 Lifting properties . 28 2.3.1 Arrow category . 29 vii Contents 2.3.2 Technical lemmas . 29 2.3.3 Proof of Lemma 2.19 . 31 2.4 Lifting properties of simplicial sets . 32 2.5 Skeleton and coskeleton functors . 34 2.6 Collapsible extensions . 36 2.6.1 Join of simplicial sets . 36 3 Higher Groupoid Actions 39 3.1 Singleton Grothendieck pretopology . 39 3.1.1 Internal groupoids . 40 3.2 The Hom functor . 41 3.3 Higher groupoids in a category with pretopology . 42 3.4 Higher groupoid Kan fibrations . 44 3.4.1 Composition of Kan fibrations . 46 3.4.2 The fibre of a Kan fibration . 46 3.4.3 Pullbacks of Kan fibrations . 47 3.5 Higher groupoid actions . 48 3.6 Higher principal bundles . 50 3.6.1 Acyclic fibrations . 50 3.6.2 Higher principal bundles . 52 4 Higher Groupoid Bibundles 55 4.1 Bimodules between categories and cographs . 55 4.1.1 Bimodules and profunctors . 55 4.1.2 Cographs of bimodules . 56 4.1.3 Bimodules and categories over the interval . 56 4.2 Bibundles of Lie groupoids via simplicial manifolds . 57 4.2.1 Action groupoids in the cogragh . 58 4.3 Augmented simplicial sets and bisimplicial sets . 59 4.3.1 Augmented simplicial sets . 59 4.3.2 Augmented bisimplicial sets . 60 4.4 Augmented bisimplicial objects . 62 4.4.1 Extensive categories . 62 4.4.2 Augmented bisimplicial objects . 63 4.4.3 Colored Kan conditions . 64 4.5 Cographs of higher groupoid morphisms . 66 4.6 Bibundles of higher groupoids . 68 5 Actions of 2-Groupoids 71 5.1 2-groupoids . 71 5.1.1 Categorified groupoids . 71 5.1.2 A one-to-one correspondence . 73 5.1.3 Geometric nerve of a 2-category . 74 5.2 Actions of Lie 2-groupoids via categorification . 74 5.3 From the simplicial picture to categorification . 76 5.3.1 The action morphism . 76 viii Contents 5.3.2 The associator . 77 5.3.3 The unitor . 78 5.4 Finite data of Kan fibrations . 78 5.4.1 Reconstruction of higher dimensions . 79 5.5 From categorification to the simplicial picture . 81 5.5.1 Dimensions 0 and 1 . 81 5.5.2 Dimension 2 . 82 5.6 Principal 2-bundles . 84 6 Bibundles of 2-Groupoids 87 6.1 Categorified bibundles between 2-groupoids . 87 6.2 From categorification to simplicial picture . 89 6.2.1 The dimensions 0, 1, 2 . 89 6.2.2 Dimension 3 . 92 6.2.3 Dimension 4 . 95 6.2.4 Higher dimensions . 97 6.3 From simplicial to categorification picture . 97 6.3.1 The groupoid of bigons . 97 6.3.2 The action morphisms . 99 6.3.3 The associators . 100 6.3.4 The unitors . 102 6.3.5 Principality . 102 6.4 Weak equivalences of 2-groupoids . 102 6.4.1 Weak acyclic fibrations . 103 6.5 Examples . 106 7 Composition of 2-Groupoid Bibundles 109 7.1 Preparations on 2-categories . 109 7.1.1 Remarks on the construction and 2-coends . 109 7.1.2 The pasting theorem of 2-categories . 110 7.1.3 Fundamental groupoids of 2-groupoids . 111 7.2 The composition of 2-groupoid bibundles . 112 7.2.1 Dimension 1 . 113 7.2.2 Dimension 2 . 113 7.2.3 Dimension 3 . 115 7.2.4 Dimension 4 . 119 7.3 Functoriality of the bundlisation . 120 7.4 Unitality of the composition . 123 7.5 Associativity of the composition . 125 8 Differentiation of Higher Lie Groupoids 129 8.1 Basics on supermanifolds . 129 8.1.1 Basic definitions . 129 8.1.2 Functor of points . 131 8.1.3 Symbolic notation . 131 8.1.4 Tangent vectors . ..
Load more

Recommended publications
  • Introduction to Dynamical Triangulations
    Introduction to Dynamical Triangulations Andrzej G¨orlich Niels Bohr Institute, University of Copenhagen Naxos, September 12th, 2011 Andrzej G¨orlich Causal Dynamical Triangulation Outline 1 Path integral for quantum gravity 2 Causal Dynamical Triangulations 3 Numerical setup 4 Phase diagram 5 Background geometry 6 Quantum fluctuations Andrzej G¨orlich Causal Dynamical Triangulation Path integral formulation of quantum mechanics A classical particle follows a unique trajectory. Quantum mechanics can be described by Path Integrals: All possible trajectories contribute to the transition amplitude. To define the functional integral, we discretize the time coordinate and approximate each path by linear pieces. space classical trajectory t1 time t2 Andrzej G¨orlich Causal Dynamical Triangulation Path integral formulation of quantum mechanics A classical particle follows a unique trajectory. Quantum mechanics can be described by Path Integrals: All possible trajectories contribute to the transition amplitude. To define the functional integral, we discretize the time coordinate and approximate each path by linear pieces. quantum trajectory space classical trajectory t1 time t2 Andrzej G¨orlich Causal Dynamical Triangulation Path integral formulation of quantum mechanics A classical particle follows a unique trajectory. Quantum mechanics can be described by Path Integrals: All possible trajectories contribute to the transition amplitude. To define the functional integral, we discretize the time coordinate and approximate each path by linear pieces. quantum trajectory space classical trajectory t1 time t2 Andrzej G¨orlich Causal Dynamical Triangulation Path integral formulation of quantum gravity General Relativity: gravity is encoded in space-time geometry. The role of a trajectory plays now the geometry of four-dimensional space-time. All space-time histories contribute to the transition amplitude.
    [Show full text]
  • Topics in Equivariant Cohomology
    Topics in Equivariant Cohomology Luke Keating Hughes Thesis submitted for the degree of Master of Philosophy in Pure Mathematics at The University of Adelaide Faculty of Mathematical and Computer Sciences School of Mathematical Sciences February 1, 2017 Contents Abstract v Signed Statement vii Acknowledgements ix 1 Introduction 1 2 Classical Equivariant Cohomology 7 2.1 Topological Equivariant Cohomology . 7 2.1.1 Group Actions . 7 2.1.2 The Borel Construction . 9 2.1.3 Principal Bundles and the Classifying Space . 11 2.2 TheGeometryofPrincipalBundles. 20 2.2.1 The Action of a Lie Algebra . 20 2.2.2 Connections and Curvature . 21 2.2.3 Basic Di↵erentialForms ............................ 26 2.3 Equivariant de Rham Theory . 28 2.3.1 TheWeilAlgebra................................ 28 2.3.2 TheWeilModel ................................ 34 2.3.3 The Chern-Weil Homomorphism . 35 2.3.4 The Mathai-Quillen Isomorphism . 36 2.3.5 The Cartan Model . 37 3 Simplicial Methods 39 3.1 SimplicialandCosimplicialObjects. 39 3.1.1 The Simplicial Category . 39 3.1.2 CosimplicialObjects .............................. 41 3.1.3 SimplicialObjects ............................... 43 3.1.4 The Nerve of a Category . 47 3.1.5 Geometric Realisation . 49 iii 3.2 A Simplicial Construction of the Universal Bundle . 53 3.2.1 Basic Properties of NG ........................... 53 | •| 3.2.2 Principal Bundles and Local Trivialisations . 56 3.2.3 The Homotopy Extension Property and NDR Pairs . 57 3.2.4 Constructing Local Sections . 61 4 Simplicial Equivariant de Rham Theory 65 4.1 Dupont’s Simplicial de Rham Theorem . 65 4.1.1 The Double Complex of a Simplicial Space .
    [Show full text]
  • Vertex-Unfoldings of Simplicial Manifolds Erik D
    Masthead Logo Smith ScholarWorks Computer Science: Faculty Publications Computer Science 2002 Vertex-Unfoldings of Simplicial Manifolds Erik D. Demaine Massachusetts nI stitute of Technology David Eppstein University of California, Irvine Jeff rE ickson University of Illinois at Urbana-Champaign George W. Hart State University of New York at Stony Brook Joseph O'Rourke Smith College, [email protected] Follow this and additional works at: https://scholarworks.smith.edu/csc_facpubs Part of the Computer Sciences Commons, and the Geometry and Topology Commons Recommended Citation Demaine, Erik D.; Eppstein, David; Erickson, Jeff; Hart, George W.; and O'Rourke, Joseph, "Vertex-Unfoldings of Simplicial Manifolds" (2002). Computer Science: Faculty Publications, Smith College, Northampton, MA. https://scholarworks.smith.edu/csc_facpubs/60 This Article has been accepted for inclusion in Computer Science: Faculty Publications by an authorized administrator of Smith ScholarWorks. For more information, please contact [email protected] Vertex-Unfoldings of Simplicial Manifolds Erik D. Demaine∗ David Eppstein† Jeff Erickson‡ George W. Hart§ Joseph O’Rourke¶ Abstract We present an algorithm to unfold any triangulated 2-manifold (in particular, any simplicial polyhedron) into a non-overlapping, connected planar layout in linear time. The manifold is cut only along its edges. The resulting layout is connected, but it may have a disconnected interior; the triangles are connected at vertices, but not necessarily joined along edges. We extend our algorithm to establish a similar result for simplicial manifolds of arbitrary dimension. 1 Introduction It is a long-standing open problem to determine whether every convex polyhe- dron can be cut along its edges and unfolded flat in one piece without overlap, that is, into a simple polygon.
    [Show full text]
  • From Double Lie Groupoids to Local Lie 2-Groupoids
    Smith ScholarWorks Mathematics and Statistics: Faculty Publications Mathematics and Statistics 12-1-2011 From Double Lie Groupoids to Local Lie 2-Groupoids Rajan Amit Mehta Pennsylvania State University, [email protected] Xiang Tang Washington University in St. Louis Follow this and additional works at: https://scholarworks.smith.edu/mth_facpubs Part of the Mathematics Commons Recommended Citation Mehta, Rajan Amit and Tang, Xiang, "From Double Lie Groupoids to Local Lie 2-Groupoids" (2011). Mathematics and Statistics: Faculty Publications, Smith College, Northampton, MA. https://scholarworks.smith.edu/mth_facpubs/91 This Article has been accepted for inclusion in Mathematics and Statistics: Faculty Publications by an authorized administrator of Smith ScholarWorks. For more information, please contact [email protected] FROM DOUBLE LIE GROUPOIDS TO LOCAL LIE 2-GROUPOIDS RAJAN AMIT MEHTA AND XIANG TANG Abstract. We apply the bar construction to the nerve of a double Lie groupoid to obtain a local Lie 2-groupoid. As an application, we recover Haefliger’s fun- damental groupoid from the fundamental double groupoid of a Lie groupoid. In the case of a symplectic double groupoid, we study the induced closed 2-form on the associated local Lie 2-groupoid, which leads us to propose a definition of a symplectic 2-groupoid. 1. Introduction In homological algebra, given a bisimplicial object A•,• in an abelian cate- gory, one naturally associates two chain complexes. One is the diagonal complex diag(A) := {Ap,p}, and the other is the total complex Tot(A) := { p+q=• Ap,q}. The (generalized) Eilenberg-Zilber theorem [DP61] (see, e.g. [Wei95, TheoremP 8.5.1]) states that diag(A) is quasi-isomorphic to Tot(A).
    [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]
  • Introduction to Category Theory (Notes for Course Taught at HUJI, Fall 2020-2021) (UNPOLISHED DRAFT)
    Introduction to category theory (notes for course taught at HUJI, Fall 2020-2021) (UNPOLISHED DRAFT) Alexander Yom Din February 10, 2021 It is never true that two substances are entirely alike, differing only in being two rather than one1. G. W. Leibniz, Discourse on metaphysics 1This can be imagined to be related to at least two of our themes: the imperative of considering a contractible groupoid of objects as an one single object, and also the ideology around Yoneda's lemma ("no two different things have all their properties being exactly the same"). 1 Contents 1 The basic language 3 1.1 Categories . .3 1.2 Functors . .7 1.3 Natural transformations . .9 2 Equivalence of categories 11 2.1 Contractible groupoids . 11 2.2 Fibers . 12 2.3 Fibers and fully faithfulness . 12 2.4 A lemma on fully faithfulness in families . 13 2.5 Definition of equivalence of categories . 14 2.6 Simple examples of equivalence of categories . 17 2.7 Theory of the fundamental groupoid and covering spaces . 18 2.8 Affine algebraic varieties . 23 2.9 The Gelfand transform . 26 2.10 Galois theory . 27 3 Yoneda's lemma, representing objects, limits 27 3.1 Yoneda's lemma . 27 3.2 Representing objects . 29 3.3 The definition of a limit . 33 3.4 Examples of limits . 34 3.5 Dualizing everything . 39 3.6 Examples of colimits . 39 3.7 General colimits in terms of special ones . 41 4 Adjoint functors 42 4.1 Bifunctors . 42 4.2 The definition of adjoint functors . 43 4.3 Some examples of adjoint functors .
    [Show full text]
  • Arxiv:1005.0156V3
    FOUR PROBLEMS REGARDING REPRESENTABLE FUNCTORS G. MILITARU C Abstract. Let R, S be two rings, C an R-coring and RM the category of left C- C C comodules. The category Rep (RM, SM) of all representable functors RM→ S M is C shown to be equivalent to the opposite of the category RMS . For U an (S, R)-bimodule C we give necessary and sufficient conditions for the induction functor U ⊗R − : RM→ SM to be: a representable functor, an equivalence of categories, a separable or a Frobenius functor. The latter results generalize and unify the classical theorems of Morita for categories of modules over rings and the more recent theorems obtained by Brezinski, Caenepeel et al. for categories of comodules over corings. Introduction Let C be a category and V a variety of algebras in the sense of universal algebras. A functor F : C →V is called representable [1] if γ ◦ F : C → Set is representable in the classical sense, where γ : V → Set is the forgetful functor. Four general problems concerning representable functors have been identified: Problem A: Describe the category Rep (C, V) of all representable functors F : C→V. Problem B: Give a necessary and sufficient condition for a given functor F : C→V to be representable (possibly predefining the object of representability). Problem C: When is a composition of two representable functors a representable functor? Problem D: Give a necessary and sufficient condition for a representable functor F : C → V and for its left adjoint to be separable or Frobenius. The pioneer of studying problem A was Kan [10] who described all representable functors from semigroups to semigroups.
    [Show full text]
  • Hausdorff Morita Equivalence of Singular Foliations
    Hausdorff Morita Equivalence of singular foliations Alfonso Garmendia∗ Marco Zambony Abstract We introduce a notion of equivalence for singular foliations - understood as suitable families of vector fields - that preserves their transverse geometry. Associated to every singular foliation there is a holonomy groupoid, by the work of Androulidakis-Skandalis. We show that our notion of equivalence is compatible with this assignment, and as a consequence we obtain several invariants. Further, we show that it unifies some of the notions of transverse equivalence for regular foliations that appeared in the 1980's. Contents Introduction 2 1 Background on singular foliations and pullbacks 4 1.1 Singular foliations and their pullbacks . .4 1.2 Relation with pullbacks of Lie groupoids and Lie algebroids . .6 2 Hausdorff Morita equivalence of singular foliations 7 2.1 Definition of Hausdorff Morita equivalence . .7 2.2 First invariants . .9 2.3 Elementary examples . 11 2.4 Examples obtained by pushing forward foliations . 12 2.5 Examples obtained from Morita equivalence of related objects . 15 3 Morita equivalent holonomy groupoids 17 3.1 Holonomy groupoids . 17 arXiv:1803.00896v1 [math.DG] 2 Mar 2018 3.2 Morita equivalent holonomy groupoids: the case of projective foliations . 21 3.3 Pullbacks of foliations and their holonomy groupoids . 21 3.4 Morita equivalence for open topological groupoids . 27 3.5 Holonomy transformations . 29 3.6 Further invariants . 30 3.7 A second look at Hausdorff Morita equivalence of singular foliations . 31 4 Further developments 33 4.1 An extended equivalence for singular foliations . 33 ∗KU Leuven, Department of Mathematics, Celestijnenlaan 200B box 2400, BE-3001 Leuven, Belgium.
    [Show full text]
  • Groupoids and Local Cartesian Closure
    Groupoids and local cartesian closure Erik Palmgren∗ Department of Mathematics, Uppsala University July 2, 2003 Abstract The 2-category of groupoids, functors and natural isomorphisms is shown to be locally cartesian closed in a weak sense of a pseudo- adjunction. Key words: groupoids, 2-categories, local cartesian closure. Mathematics Subject Classification 2000: 18B40, 18D05, 18A40. 1 Introduction A groupoid is a category in which each morphism is invertible. The notion may be considered as a common generalisation of the notions of group and equivalence relation. A group is a one-object groupoid. Every equivalence relation on a set, viewed as a directed graph, is a groupoid. A recent indepen- dence proof in logic used groupoids. Hofmann and Streicher [8] showed that groupoids arise from a construction in Martin-Löf type theory. This is the so-called identity type construction, which applied to a type gives a groupoid turning the type into a projective object, in the category of types with equiv- alence relations. As a consequence there are plenty of choice objects in this category: every object has a projective cover [12] — a property which seems essential for doing constructive mathematics according to Bishop [1] inter- nally to the category. For some time the groupoids associated with types were believed to be discrete. However, in [8] a model of type theory was given using fibrations over groupoids, showing that this need not be the case. The purpose of this article is to draw some further conclusions for group- oids from the idea of Hofmann and Streicher. Since type theory has a Π- construction, one could expect that some kind of (weak) local cartesian clo- sure should hold for groupoids.
    [Show full text]
  • Arxiv:1705.00466V2 [Math.DG] 1 Nov 2017 Bet,I Atclrqoins Si Hywr Moh Hsi Bec Is This Smooth
    ORBISPACES AS DIFFERENTIABLE STRATIFIED SPACES MARIUS CRAINIC AND JOAO˜ NUNO MESTRE Abstract. We present some features of the smooth structure, and of the canonical stratification on the orbit space of a proper Lie groupoid. One of the main features is that of Morita invariance of these structures - it allows us to talk about the canonical structure of differentiable stratified space on the orbispace (an object analogous to a separated stack in algebraic geometry) presented by the proper Lie groupoid. The canonical smooth structure on an orbispace is studied mainly via Spallek’s framework of differentiable spaces, and two alternative frameworks are then presented. For the canonical stratification on an orbispace, we ex- tend the similar theory coming from proper Lie group actions. We make no claim to originality. The goal of these notes is simply to give a complemen- tary exposition to those available, and to clarify some subtle points where the literature can sometimes be confusing, even in the classical case of proper Lie group actions. Contents 1. Introduction 1 2. Background 5 3. Orbispaces as differentiable spaces 13 4. Orbispaces as stratified spaces 27 5. Orbispaces as differentiable stratified spaces 43 References 47 1. Introduction Lie groupoids are geometric objects that generalize Lie groups and smooth man- arXiv:1705.00466v2 [math.DG] 1 Nov 2017 ifolds, and permit a unified approach to the study of several objects of interest in differential geometry, such as Lie group actions, foliations and principal bundles (see for example [9, 37, 44] and the references therein). They have found wide use in Poisson and Dirac geometry (e.g.
    [Show full text]
  • Algebraic Cocompleteness and Finitary Functors
    Logical Methods in Computer Science Volume 17, Issue 2, 2021, pp. 23:1–23:30 Submitted Feb. 27, 2020 https://lmcs.episciences.org/ Published May 28, 2021 ALGEBRAIC COCOMPLETENESS AND FINITARY FUNCTORS JIRˇ´I ADAMEK´ ∗ Department of Mathematics, Czech Technical University in Prague, Czech Republic Institute of Theoretical Computer Science, Technical University Braunschweig, Germany e-mail address: [email protected] Abstract. A number of categories is presented that are algebraically complete and cocomplete, i.e., every endofunctor has an initial algebra and a terminal coalgebra. Example: assuming GCH, the category Set≤λ of sets of power at most λ has that property, whenever λ is an uncountable regular cardinal. For all finitary (and, more generally, all precontinuous) set functors the initial algebra and terminal coalgebra are proved to carry a canonical partial order with the same ideal completion. And they also both carry a canonical ultrametric with the same Cauchy completion. Finally, all endofunctors of the category Set≤λ are finitary if λ has countable cofinality and there are no measurable cardinals µ ≤ λ. 1. Introduction The importance of terminal coalgebras for an endofunctor F was clearly demonstrated by Rutten [Rut00]: for state-based systems whose state-objects lie in a category K and whose dynamics are described by F , the terminal coalgebra νF collects behaviors of individual states. And given a system A the unique coalgebra homomorphism from A to νF assigns to every state its behavior. However, not every endofunctor has a terminal coalgebra. Analogously, an initial algebra µF need not exist. Freyd [Fre70] introduced the concept of an algebraically complete category: this means that every endofunctor has an initial algebra.
    [Show full text]
  • Adjoint and Representable Functors
    What underlies dual-process cognition? Adjoint and representable functors Steven Phillips ([email protected]) Mathematical Neuroinformatics Group, Human Informatics Research Institute, National Institute of Advanced Industrial Science and Technology (AIST), Tsukuba, Ibaraki 305-8566 JAPAN Abstract & Stanovich, 2013, for the model and responses to the five criticisms). According to this model, cognition defaults to Despite a general recognition that there are two styles of think- ing: fast, reflexive and relatively effortless (Type 1) versus slow, Type 1 processes that can be intervened upon by Type 2 pro- reflective and effortful (Type 2), dual-process theories of cogni- cesses in response to task demands. However, this model is tion remain controversial, in particular, for their vagueness. To still far from the kinds of formal, computational explanations address this lack of formal precision, we take a mathematical category theory approach towards understanding what under- that prevail in cognitive science. lies the relationship between dual cognitive processes. From our category theory perspective, we show that distinguishing ID Criticism of dual-process theories features of Type 1 versus Type 2 processes are exhibited via adjoint and representable functors. These results suggest that C1 Theories are multitudinous and definitions vague category theory provides a useful formal framework for devel- C2 Type 1/2 distinctions do not reliably align oping dual-process theories of cognition. C3 Cognitive styles vary continuously, not discretely Keywords: dual-process; Type 1; Type 2; category theory; C4 Single-process theories provide better explanations category; functor; natural transformation; adjoint C5 Evidence for dual-processing is unconvincing Introduction Table 2: Five criticisms of dual-process theories (Evans & Intuitively, at least, human cognition involves two starkly dif- Stanovich, 2013).
    [Show full text]