Using context and model categories to define directed homotopies
|
|
- Alberta Ramsey
- 5 years ago
- Views:
Transcription
1 Using context and model categories to define directed homotopies p. 1/57 Using context and model categories to define directed homotopies Peter Bubenik Ecole Polytechnique Fédérale de Lausanne (EPFL)
2 Using context and model categories to define directed homotopies p. 2/57 1. Introduction A concurrent system A model for concurrency Equivalences - undirected and directed The Problem
3 Using context and model categories to define directed homotopies p. 3/57 A nonconcurrent system Process processor private resources A process with its own private resources
4 Using context and model categories to define directed homotopies p. 4/57 A concurrent system Process 1 Process 2... Process N Several processes with shared resources
5 Example: Internet database Using context and model categories to define directed homotopies p. 5/57
6 Using context and model categories to define directed homotopies p. 6/57 Example: dual core processors Intel (Q3 2005) AMD (Q3 2005)
7 Using context and model categories to define directed homotopies p. 7/57 A concurrent system Example: 2 processes using 2 shared resources a and b which can only be used by one process at a time Notation: P x - a process locks resource x V x - a process releases resource x Program of the first process: P a P b V b V a Program of the second process: P b P a V a V b
8 Using context and model categories to define directed homotopies p. 8/57 A model for concurrency Concurrent systems can be modeled by subspaces of R n together with a partial order. Definition: A po-space is a topological space U with a partial order which is a closed subset of U U. Examples:
9 Using context and model categories to define directed homotopies p. 9/57 V b V a P a P b P a P b V b V a
10 Using context and model categories to define directed homotopies p. 10/57 The Swiss flag V b V a P a P b P a P b V b V a
11 Using context and model categories to define directed homotopies p. 10/57 The Swiss flag V b V a P a P b P a P b V b V a
12 Using context and model categories to define directed homotopies p. 10/57 The Swiss flag V b V a P a P b P a P b V b V a
13 Using context and model categories to define directed homotopies p. 10/57 The Swiss flag V b V a P a P b P a P b V b V a
14 Using context and model categories to define directed homotopies p. 10/57 The Swiss flag V b V a P a P b P a P b V b V a
15 Using context and model categories to define directed homotopies p. 11/57 A sub-po-space of the Swiss flag V b V a P a P b P a P b V b V a
16 Using context and model categories to define directed homotopies p. 12/57 Goal Develop a framework for concurrency where equivalences are accounted for. We would like equivalences that allow a piece-by-piece analysis of po-spaces.
17 Using context and model categories to define directed homotopies p. 12/57 Goal Develop a framework for concurrency where equivalences are accounted for. We would like equivalences that allow a piece-by-piece analysis of po-spaces. Idea: Use algebraic topology.
18 Using context and model categories to define directed homotopies p. 13/57 Undirected equivalences Working with (undirected) spaces and continuous maps, equivalences are defined using homotopies. Maps are equivalent if there is a homotopy between them. Spaces are equivalent if there maps between them whose compositions are homotopic to the identity map.
19 Using context and model categories to define directed homotopies p. 14/57 Undirected equivalences Definition: Given continuous maps f, g : B C, B g C B f
20 Using context and model categories to define directed homotopies p. 14/57 Undirected equivalences Definition: Given continuous maps f, g : B C, B g C H I f B a homotopy between f and g is a continuous map H : B I C restricting to f and g. This is an equivalence relation. Write H : f g.
21 Using context and model categories to define directed homotopies p. 15/57 Undirected equivalences Definition: Spaces B, C are homotopy equivalent if there are maps f : B C : g such that g f Id B and f g Id C. B f C g
22 Using context and model categories to define directed homotopies p. 16/57 Directed spaces Definition: A po-space is a topological space U with a partial order which is a closed subset of U U. A directed map (dimap) is a continuous map f : U 1 U 2 between po-spaces such that x y = f(x) f(y). Let PoSpc be the category whose objects are po-spaces and morphisms are dimaps.
23 Using context and model categories to define directed homotopies p. 16/57 Directed spaces Definition: A po-space is a topological space U with a partial order which is a closed subset of U U. A directed map (dimap) is a continuous map f : U 1 U 2 between po-spaces such that x y = f(x) f(y). Let PoSpc be the category whose objects are po-spaces and morphisms are dimaps. Remark: Subspaces and products of po-spaces inherit a po-space structure.
24 Using context and model categories to define directed homotopies p. 17/57 Directed equivalences Definition: A directed homotopy (dihomotopy) between dimaps f, g : B C is a dimap H : B I C restricting to f and g. Write H : f g. I B B H g f C
25 Using context and model categories to define directed homotopies p. 18/57 Directed equivalences Definition: Write f g if there is a chain of dihomotopies f f 1 f 2... f n g. Po-Spaces B, C are dihomotopy equivalent if there are dimaps f : B C : g such that g f Id B and f g Id C.
26 Using context and model categories to define directed homotopies p. 19/57 The Problem Recall: We wanted to use dihomotopy equivalences to provide equivalences of concurrent systems. However all of the following spaces are dihomotopy equivalent. Thus, a stronger notion of equivalence is needed.
27 Using context and model categories to define directed homotopies p. 20/57 2. Using context A basic example A solution Equivalences using context Non-equivalences using directed paths Piece-by-piece example
28 Using context and model categories to define directed homotopies p. 21/57 A basic example Question: Is there an equivalence between I I and I? x y? x y Our guide: If this map is an equivalence, then so is the map obtained by attaching po-spaces to this example. (Formally, we want the set of equivalences to be closed under pushouts with inclusions.)
29 Using context and model categories to define directed homotopies p. 22/57 Adding to the basic example
30 Using context and model categories to define directed homotopies p. 22/57 Adding to the basic example
31 Using context and model categories to define directed homotopies p. 22/57 Adding to the basic example b a a b There is no execution path from a to b, while there are such paths from a to b. Thus, this map should not be an equivalence.
32 Using context and model categories to define directed homotopies p. 23/57 A Solution Instead of working with just po-spaces work with po-spaces together with context. Definition: Choose a po-space A (called the context). This choice will depend on the attachments one wants to consider. Consider po-spaces B together with a dimap i B : A B and consider morphisms which are dimaps such that f(i B (a)) = i C (a) for all a A B i B (A) f C i C (A)
33 Using context and model categories to define directed homotopies p. 24/57 A PoSpc Definition: Given a pospace A, let A PoSpc be the category whose objects are dimaps ι B : A B, morphisms are dimaps f : B C such that f ι B = ι C A i B i C B f C
34 Using context and model categories to define directed homotopies p. 25/57 Equivalences using context Definition: A dihomotopy between f, g : B C in the context of A is a dihomotopy H : f g rel A. I B B H g f C
35 Using context and model categories to define directed homotopies p. 26/57 Equivalences using context Definition: Write f g if there is a chain of dihomotopies f f 1 f 2... f n g. i B : A B, i C : A C are dihomotopy equivalent if there are dimaps B i B A g i C C such that g f Id B and f g Id C. f
36 Using context and model categories to define directed homotopies p. 27/57 Example Let A = {x, y} with x y. Then po-spaces under the context A are just po-spaces with two marked points, one of which is after the other. In this category x y x = y is not a dihomotopy equivalence since there is no dimap in the reverse direction.
37 Using context and model categories to define directed homotopies p. 28/57 Example of an equivalence In the same context (of two marked points) the dimaps y y (t, t) t x (x, y) max(x, y) give a dihomotopy equivalence. x
38 Using context and model categories to define directed homotopies p. 29/57 Another equivalence I I with a square removed and two marked points y y x x is dihomotopy equivalent to its boundary.
39 Using context and model categories to define directed homotopies p. 30/57 Context for the Swiss flag Let A = {a, b, c, d}. Then the inclusion b b c d c d a is a dihomotopy equivalence in the context of the four marked points. a
40 Sketch of the proof Using context and model categories to define directed homotopies p. 31/57
41 Sketch of the proof Using context and model categories to define directed homotopies p. 31/57
42 Sketch of the proof Using context and model categories to define directed homotopies p. 31/57
43 Sketch of the proof Using context and model categories to define directed homotopies p. 31/57
44 Using context and model categories to define directed homotopies p. 32/57 Directed paths Definition: Let x, y the po-space B. A dipath is a dimap I B. Dipaths are dihomotopy equivalent if they are so in the context of their endpoints. Let π 1 (B)(x, y) be the set of dihomotopy equivalence classes of dipaths from x to y.
45 Using context and model categories to define directed homotopies p. 33/57 Dipaths in equivalent spaces Notation: Given a context A and po-spaces B, C together with i B : A B and i C : A C, if x A denote i B (X) by x B and i C (x) by x C. Proposition: Given a dimap f : B C respecting the context and x, y A there is an induced map π 1 (f)(x, y) : π 1 (B)(x B, y B ) π 1 (C)(x C, y C ). If f is a dihomotopy equivalence then it is an isomorphism.
46 Using context and model categories to define directed homotopies p. 34/57 Example In the context of its four endpoints the left hand po-space is not dihomotopy equivalent to I.
47 Using context and model categories to define directed homotopies p. 35/57 Another example Recall that there is a dihomotopy equivalence y y x x However there is no dihomotopy equivalence x y x y Equivalence depends on the context!
48 Using context and model categories to define directed homotopies p. 36/57 Compound examples We would like to find equivalent po-spaces to the following examples by analyzing them piece-by-piece.
49 Using context and model categories to define directed homotopies p. 37/57 Equivalences of pieces a b c a b c
50 Using context and model categories to define directed homotopies p. 37/57 Equivalences of pieces a b c a b c a b c a b c
51 Using context and model categories to define directed homotopies p. 38/57 Patching the pieces together
52 Using context and model categories to define directed homotopies p. 38/57 Patching the pieces together c b a
53 Using context and model categories to define directed homotopies p. 39/57 Second example
54 Using context and model categories to define directed homotopies p. 39/57 Second example a b c
55 Using context and model categories to define directed homotopies p. 40/57 3. Modeling systems with loops (joint work with Kris Worytkiewicz) Local po-spaces Model categories Equivalences for concurrent systems which may have loops
56 Using context and model categories to define directed homotopies p. 41/57 A more general model We would like to model execution loops such as These cannot be modeled by po-spaces. However they can be modeled by local po-spaces.
57 Using context and model categories to define directed homotopies p. 42/57 Local po-spaces Definition: An order atlas is a open cover of po-spaces with compatible partial orders. A local po-space is a topological space together with an equivalence class of order atlases. A morphism of local po-spaces is a continuous map which respects the orders.
58 Using context and model categories to define directed homotopies p. 43/57 Equivalences of local po-spaces Just as with po-spaces, we can define local po-spaces under some context A, and we consider morphisms which respect the context. We can also define dihomotopy equivalences using context exactly the same way as with po-spaces.
59 Using context and model categories to define directed homotopies p. 44/57 Enter some machinery A powerful framework for studying equivalences is given by model categories. Definition: A model category is a category (with all small limits and colimits) and with three distinguished classes of morphisms: weak equivalences, cofibrations, and fibrations satisfying four simple axioms. The structure of a model category allows one to apply the machinery of homotopy theory.
60 Using context and model categories to define directed homotopies p. 45/57 Model category axioms M0. C has all small limits and small colimits M1. 2 out of 3 M2. retracts M3. lifting property M4. factorization
61 Using context and model categories to define directed homotopies p. 46/57 A model for concurrent systems Theorem [B-Worytkiewicz]: The category of local po-spaces under a context A embeds into a model category such that the weak equivalences are the dihomotopy equivalences rel A, the cofibrations are the monomorphisms, and pushouts of weak equivalence with cofibrations are weak equivalences
62 Using context and model categories to define directed homotopies p. 47/57 Sheaves, Simplicial presheaves Definition: The category of presheaves Set LoPospcop has as objects contravariant functors from LoPospc to Set and has as morphisms natural transformations
63 Using context and model categories to define directed homotopies p. 47/57 Sheaves, Simplicial presheaves Definition: The category of presheaves Set LoPospcop has as objects contravariant functors from LoPospc to Set and has as morphisms natural transformations Similarly there is a category of simplicial presheaves sset LoPospcop
64 Using context and model categories to define directed homotopies p. 47/57 Sheaves, Simplicial presheaves Definition: The category of presheaves Set LoPospcop has as objects contravariant functors from LoPospc to Set and has as morphisms natural transformations Similarly there is a category of simplicial presheaves sset LoPospcop There is a Yoneda embedding LoPospc Set LoPospcop sset LoPospcop
65 Using context and model categories to define directed homotopies p. 47/57 Sheaves, Simplicial presheaves Definition: The category of presheaves Set LoPospcop has as objects contravariant functors from LoPospc to Set and has as morphisms natural transformations Similarly there is a category of simplicial presheaves sset LoPospcop There is a Yoneda embedding LoPospc Set LoPospcop sset LoPospcop The sheaves Shv(LoPospc) are the presheaves which are compatible with the topology
66 Using context and model categories to define directed homotopies p. 48/57 Sketch of the proof Theorem[Jardine]: Let C be a small category with a Grothendieck topology. Then sset Cop the category of simplicial presheaves on C has a (proper, simplicial) model structure in which the cofibrations are the monomorphisms, and the weak equivalences are the local weak equivalences. Furthermore, if the Grothendieck topos Shv(C) has enough points then the local weak equivalences are the stalkwise equivalences.
67 Using context and model categories to define directed homotopies p. 49/57 Grothendieck topology Proposition[B-W]: LoPospc has a Grothendieck topology given by open directed covers.
68 Using context and model categories to define directed homotopies p. 50/57 Enough points Let Z be a local po-space. Definition: The category of directed étale bundles over Z has objects: dimaps E Z which are local homeomorphisms morphisms: maps E 1 E 2 such that E 1 E 2 Z commutes
69 Using context and model categories to define directed homotopies p. 50/57 Enough points Let Z be a local po-space. Definition: The category of directed étale bundles over Z has objects: dimaps E Z which are local homeomorphisms morphisms: maps E 1 E 2 such that E 1 E 2 Z commutes Theorem[B-W]: There is an equivalence between Shv(Z) and Etale(Z).
70 Using context and model categories to define directed homotopies p. 50/57 Enough points Let Z be a local po-space. Definition: The category of directed étale bundles over Z has objects: dimaps E Z which are local homeomorphisms morphisms: maps E 1 E 2 such that E 1 E 2 Z commutes Theorem[B-W]: There is an equivalence between Shv(Z) and Etale(Z). Corollary: Shv(LoPospc) has enough points.
71 Using context and model categories to define directed homotopies p. 51/57 Stalkwise equivalences Using the above results, it follows from Jardine s theorem that sset LoPospcop has a model structure in which the weak equivalences are the stalkwise equivalences.
72 Using context and model categories to define directed homotopies p. 51/57 Stalkwise equivalences Using the above results, it follows from Jardine s theorem that sset LoPospcop has a model structure in which the weak equivalences are the stalkwise equivalences. Proposition[B-W]: The stalkwise equivalences coming from LoPospc are the isomorphisms.
73 Using context and model categories to define directed homotopies p. 52/57 Adding context Given context A LoPospc there is a induced model structure on A sset LoPospcop Finally one can localize with respect to the dihomotopy equivalences rel A to obtain the main theorem.
74 Using context and model categories to define directed homotopies p. 53/57 4. Summary It would be useful to have a robust notion of equivalence in models of concurrency. To allow a piece-by-piece analysis we would like equivalences that remain equivalences even after additions are made to the model. Using context provides such equivalences.
75 Using context and model categories to define directed homotopies p. 54/57 Summary Using po-spaces, local po-spaces, context, and model categories, we have a good mathematical framework for studying concurrent systems. In particular, using equivalences, this framework should allow for a piece-by-piece analysis of concurrent systems.
76 Using context and model categories to define directed homotopies p. 55/57 Future Work Theoretical: Consider all possible contexts in a single framework. (Stay tuned for Kris talk!) Practical: Use the current theoretical framework for analyzing real-world examples.
77 Using context and model categories to define directed homotopies p. 56/57 Acknowledgments Part of this research was funded by the Swiss National Science Foundation grant This talk and associated preprints are available at
78 Using context and model categories to define directed homotopies p. 57/57 Non-discrete context Take I I and I I
79 Using context and model categories to define directed homotopies p. 57/57 Non-discrete context Take I I and I I and glue them together along the yellow lines.
A MODEL CATEGORY STRUCTURE ON THE CATEGORY OF SIMPLICIAL CATEGORIES
A MODEL CATEGORY STRUCTURE ON THE CATEGORY OF SIMPLICIAL CATEGORIES JULIA E. BERGNER Abstract. In this paper we put a cofibrantly generated model category structure on the category of small simplicial
More informationLecture 009 (November 25, 2009) Suppose that I is a small category, and let s(r Mod) I be the category of I-diagrams in simplicial modules.
Lecture 009 (November 25, 2009) 20 Homotopy colimits Suppose that I is a small category, and let s(r Mod) I be the category of I-diagrams in simplicial modules. The objects of this category are the functors
More informationLecture 008 (November 13, 2009)
Lecture 008 (November 13, 2009) 17 The Dold-Kan correspondence Suppose that A : op R Mod is a simplicial R-module. Examples to keep in mind are the free simplicial objects R(X) associated to simplicial
More informationHo(T op) Ho(S). Here is the abstract definition of a Quillen closed model category.
7. A 1 -homotopy theory 7.1. Closed model categories. We begin with Quillen s generalization of the derived category. Recall that if A is an abelian category and if C (A) denotes the abelian category of
More informationEQUIVARIANT COMPLETE SEGAL SPACES
EQUIVARIANT COMPLETE SEGAL SPACES JULIA E. BERGNER AND STEVEN GREG CHADWICK Abstract. In this paper we give a model for equivariant (, 1)-categories. We modify an approach of Shimakawa for equivariant
More information2 J.E. BERGNER is the discrete simplicial set X 0. Also, given a simplicial space W, we denote by sk n W the n-skeleton of W, or the simplicial space
A CHARACTERIZATION OF FIBRANT SEGAL CATEGORIES JULIA E. BERGNER Abstract. In this note we prove that Reedy fibrant Segal categories are fibrant objects in the model category structure SeCatc. Combining
More informationTHE DOLD-KAN CORRESPONDENCE
THE DOLD-KAN CORRESPONDENCE 1. Simplicial sets We shall now introduce the notion of a simplicial set, which will be a presheaf on a suitable category. It turns out that simplicial sets provide a (purely
More informationA MODEL STRUCTURE FOR QUASI-CATEGORIES
A MODEL STRUCTURE FOR QUASI-CATEGORIES EMILY RIEHL DISCUSSED WITH J. P. MAY 1. Introduction Quasi-categories live at the intersection of homotopy theory with category theory. In particular, they serve
More informationin simplicial sets, or equivalently a functor
Contents 21 Bisimplicial sets 1 22 Homotopy colimits and limits (revisited) 10 23 Applications, Quillen s Theorem B 23 21 Bisimplicial sets A bisimplicial set X is a simplicial object X : op sset in simplicial
More informationHomotopy theories of dynamical systems
University of Western Ontario July 15, 2013 Dynamical systems A dynamical system (or S-dynamical system, or S-space) is a map of simplicial sets φ : X S X, giving an action of a parameter space S on a
More informationHomotopy theory of higher categorical structures
University of California, Riverside August 8, 2013 Higher categories In a category, we have morphisms, or functions, between objects. But what if you have functions between functions? This gives the idea
More informationIntroduction to -categories
Introduction to -categories Paul VanKoughnett October 4, 2016 1 Introduction Good evening. We ve got a spectacular show for you tonight full of scares, spooks, and maybe a few laughs too. The standard
More informationDIRECTED PROGRAMS GEOMETRIC MODELS OF CONCURRENT. Samuel Mimram. École Polytechnique
DIRECTED GEOMETRIC MODELS OF CONCURRENT PROGRAMS Samuel Mimram École Polytechnique Applied and Computational Algebraic Topology Spring School April 24th, 2017 2 / 117 Models of concurrent programs We are
More informationSheaves and Stacks. November 5, Sheaves and Stacks
November 5, 2014 Grothendieck topologies Grothendieck topologies are an extra datum on a category. They allow us to make sense of something being locally defined. Give a formal framework for glueing problems
More informationEQUIVALENCE OF MODELS FOR EQUIVARIANT (, 1)-CATEGORIES
EQUIVALENCE OF MODELS FOR EQUIVARIANT (, 1)-CATEGORIES JULIA E. BERGNER Abstract. In this paper we show that the known models for (, 1)-categories can all be extended to equivariant versions for any discrete
More informationClassifying Spaces and Spectral Sequences
Classifying Spaces and Spectral Sequences Introduction Christian Carrick December 2, 2016 These are a set of expository notes I wrote in preparation for a talk given in the MIT Kan Seminar on December
More informationarxiv:math/ v2 [math.at] 28 Nov 2006
Contemporary Mathematics arxiv:math/0609537v2 [math.at] 28 Nov 2006 Model Categories and Simplicial Methods Paul Goerss and Kristen Schemmerhorn Abstract. There are many ways to present model categories,
More informationLecture 0: Reivew of some basic material
Lecture 0: Reivew of some basic material September 12, 2018 1 Background material on the homotopy category We begin with the topological category TOP, whose objects are topological spaces and whose morphisms
More informationSPECTRAL SEQUENCES FROM CO/SIMPLICIAL OBJECTS
SPECTRAL SEQUENCES FROM CO/SIMPLICIAL OBJECTS ERIC PETERSON Abstract. Simplicial complexes are much more useful and versatile than mere combinatorial models for topological spaces, the first context they
More informationSteps towards a directed homotopy hypothesis. (, 1)-categories, directed spaces and perhaps rewriting
Steps towards a directed homotopy hypothesis. (, 1)-categories, directed spaces and perhaps rewriting Timothy Porter Emeritus Professor, University of Wales, Bangor June 12, 2015 1 Introduction. Some history
More informationAn introduction to simplicial sets
An introduction to simplicial sets 25 Apr 2010 1 Introduction This is an elementary introduction to simplicial sets, which are generalizations of -complexes from algebraic topology. The theory of simplicial
More informationADDING INVERSES TO DIAGRAMS II: INVERTIBLE HOMOTOPY THEORIES ARE SPACES
Homology, Homotopy and Applications, vol. 10(1), 2008, pp.1?? ADDING INVERSES TO DIAGRAMS II: INVERTIBLE HOMOTOPY THEORIES ARE SPACES JULIA E. BERGNER (communicated by Name of Editor) Abstract In previous
More informationCLASSIFYING SPACES AND FIBRATIONS OF SIMPLICIAL SHEAVES
CLASSIFYING SPACES AND FIBRATIONS OF SIMPLICIAL SHEAVES MATTHIAS WENDT Abstract. In this paper, we discuss the construction of classifying spaces of fibre sequences in model categories of simplicial sheaves.
More informationTopos Theory. Lectures 3-4: Categorical preliminaries II. Olivia Caramello. Topos Theory. Olivia Caramello. Basic categorical constructions
Lectures 3-4: Categorical preliminaries II 2 / 17 Functor categories Definition Let C and D be two categories. The functor category [C,D] is the category having as objects the functors C D and as arrows
More informationCOALGEBRAIC MODELS FOR COMBINATORIAL MODEL CATEGORIES
COALGEBRAIC MODELS FOR COMBINATORIAL MODEL CATEGORIES MICHAEL CHING AND EMILY RIEHL Abstract. We show that the category of algebraically cofibrant objects in a combinatorial and simplicial model category
More informationArithmetic universes as generalized point-free spaces
Arithmetic universes as generalized point-free spaces Steve Vickers CS Theory Group Birmingham * Grothendieck: "A topos is a generalized topological space" *... it's represented by its category of sheaves
More informationA Model of Type Theory in Simplicial Sets
A Model of Type Theory in Simplicial Sets A brief introduction to Voevodsky s Homotopy Type Theory T. Streicher Fachbereich 4 Mathematik, TU Darmstadt Schlossgartenstr. 7, D-64289 Darmstadt streicher@mathematik.tu-darmstadt.de
More informationTopoi: Theory and Applications
: Theory and Applications 1 1 Computer Science, Swansea University, UK http://cs.swan.ac.uk/~csoliver Categorical logic seminar Swansea, March 19+23, 2012 Meaning I treat topos theory as a theory, whose
More informationarxiv:math/ v1 [math.at] 11 Jul 2000
UNIVERSAL HOMOTOPY THEORIES arxiv:math/0007070v1 [math.at] 11 Jul 2000 DANIEL DUGGER Abstract. Begin with a small category C. The goal of this short note is to point out that there is such a thing as a
More informationCell-Like Maps (Lecture 5)
Cell-Like Maps (Lecture 5) September 15, 2014 In the last two lectures, we discussed the notion of a simple homotopy equivalences between finite CW complexes. A priori, the question of whether or not a
More informationADDING INVERSES TO DIAGRAMS ENCODING ALGEBRAIC STRUCTURES
Homology, Homotopy and Applications, vol. 10(1), 2008, pp.1 26 ADDING INVERSES TO DIAGRAMS ENCODING ALGEBRAIC STRUCTURES JULIA E. BERGNER (communicated by Name of Editor) Abstract We modify a previous
More informationCategorical models of type theory
1 / 59 Categorical models of type theory Michael Shulman February 28, 2012 2 / 59 Outline 1 Type theory and category theory 2 Categorical type constructors 3 Dependent types and display maps 4 Fibrations
More informationMOTIVIC HOMOTOPY TYPES OF PROJECTIVE CURVES SE
MOTIVIC HOMOTOPY TYPES OF PROJECTIVE CURVES SE MARKUS SEVERITT Contents Preface 2 Introduction 2 The Motivation from Algebraic Topology 2 A Homotopy Theory for Algebraic Varieties 3 Motivic Homotopy Types
More informationRigidification of quasi-categories
Rigidification of quasi-categories DANIEL DUGGER DAVID I. SPIVAK We give a new construction for rigidifying a quasi-category into a simplicial category, and prove that it is weakly equivalent to the rigidification
More informationSIMPLICIAL STRUCTURES ON MODEL CATEGORIES AND FUNCTORS
SIMPLICIAL STRUCTURES ON MODEL CATEGORIES AND FUNCTORS CHARLES REZK, STEFAN SCHWEDE, AND BROOKE SHIPLEY Abstract. We produce a highly structured way of associating a simplicial category to a model category
More informationACLT: Algebra, Categories, Logic in Topology - Grothendieck's generalized topological spaces (toposes)
ACLT: Algebra, Categories, Logic in Topology - Grothendieck's generalized topological spaces (toposes) Steve Vickers CS Theory Group Birmingham 1. Sheaves "Sheaf = continuous set-valued map" TACL Tutorial
More informationSmall CW -models for Eilenberg-Mac Lane spaces
Small CW -models for Eilenberg-Mac Lane spaces in honour of Prof. Dr. Hans-Joachim Baues Bonn, March 2008 Clemens Berger (Nice) 1 Part 1. Simplicial sets. The simplex category is the category of finite
More informationTHE Q-CONSTRUCTION FOR STABLE -CATEGORIES
THE Q-CONSTRUCTION FOR STABLE -CATEGORIES RUNE HAUGSENG The aim of these notes is to define the Q-construction for a stable -category C, and sketch the proof that it is equivalent to the (Waldhausen) K-theory
More informationACLT: Algebra, Categories, Logic in Topology - Grothendieck's generalized topological spaces (toposes)
ACLT: Algebra, Categories, Logic in Topology - Grothendieck's generalized topological spaces (toposes) Steve Vickers CS Theory Group Birmingham 4. Toposes and geometric reasoning How to "do generalized
More informationMAPPING CYLINDERS AND THE OKA PRINCIPLE. Finnur Lárusson University of Western Ontario
MAPPING CYLINDERS AND THE OKA PRINCIPLE Finnur Lárusson University of Western Ontario Abstract. We apply concepts and tools from abstract homotopy theory to complex analysis and geometry, continuing our
More informationNotes on categories, the subspace topology and the product topology
Notes on categories, the subspace topology and the product topology John Terilla Fall 2014 Contents 1 Introduction 1 2 A little category theory 1 3 The subspace topology 3 3.1 First characterization of
More informationCategory Theory 3. Eugenia Cheng Department of Mathematics, University of Sheffield Draft: 8th November 2007
Category Theory 3 Eugenia Cheng Department of Mathematics, University of Sheffield E-mail: e.cheng@sheffield.ac.uk Draft: 8th November 2007 Contents 3 Functors: definition and examples 1 3.1 The definition.............................
More informationarxiv:math/ v2 [math.kt] 10 Feb 2003
arxiv:math/0106158v2 [math.kt] 10 Feb 2003 ETALE REALIZATION ON THE A 1 -HOMOTOPY THEORY OF SCHEMES DANIEL C. ISAKSEN Abstract. We compare Friedlander s definition of the étale topological type for simplicial
More informationQuasi-categories vs Simplicial categories
Quasi-categories vs Simplicial categories André Joyal January 07 2007 Abstract We show that the coherent nerve functor from simplicial categories to simplicial sets is the right adjoint in a Quillen equivalence
More information! B be a covering, where B is a connected graph. Then E is also a
26. Mon, Mar. 24 The next application is the computation of the fundamental group of any graph. We start by specifying what we mean by a graph. Recall that S 0 R is usually defined to be the set S 0 =
More informationarxiv:math/ v2 [math.at] 9 Nov 1998
ariv:math/9811038v2 [math.at] 9 Nov 1998 FIBRATIONS AND HOMOTOPY COLIMITS OF SIMPLICIAL SHEAVES CHARLES REZK Abstract. We show that homotopy pullbacks o sheaves o simplicial sets over a Grothendieck topology
More informationLecture 18: Groupoids and spaces
Lecture 18: Groupoids and spaces The simplest algebraic invariant of a topological space T is the set π 0 T of path components. The next simplest invariant, which encodes more of the topology, is the fundamental
More informationGALOIS THEORY OF SIMPLICIAL COMPLEXES
GALOIS THEORY OF SIMPLICIAL COMPLEXES Marco Grandis 1,* and George Janelidze 2, 1 Dipartimento di Matematica, Università di Genova, via Dodecaneso 35, 16146 Genova, Italy email: grandis@dima.unige.it 2
More informationA GRAPH FROM THE VIEWPOINT OF ALGEBRAIC TOPOLOGY
A GRAPH FROM THE VIEWPOINT OF ALGEBRAIC TOPOLOGY KARL L. STRATOS Abstract. The conventional method of describing a graph as a pair (V, E), where V and E repectively denote the sets of vertices and edges,
More informationPersistent Topology of Syntax
Matilde Marcolli MAT1509HS: Mathematical and Computational Linguistics University of Toronto, Winter 2019, T 4-6 and W 4, BA6180 This lecture based on: Alexander Port, Iulia Gheorghita, Daniel Guth, John
More informationCODESCENT THEORY II : COFIBRANT APPROXIMATIONS
OESENT THEORY II : OFIBRNT PPROXIMTIONS PUL BLMER N MIHEL MTTHEY bstract. We establish a general method to produce cofibrant approximations in the model category U S, ) of S-valued -indexed diagrams with
More informationMetrics on diagrams and persistent homology
Background Categorical ph Relative ph More structure Department of Mathematics Cleveland State University p.bubenik@csuohio.edu http://academic.csuohio.edu/bubenik_p/ July 18, 2013 joint work with Vin
More informationThe formal theory of homotopy coherent monads
The formal theory of homotopy coherent monads Emily Riehl Harvard University http://www.math.harvard.edu/~eriehl 23 July, 2013 Samuel Eilenberg Centenary Conference Warsaw, Poland Joint with Dominic Verity.
More informationSurfaces Beyond Classification
Chapter XII Surfaces Beyond Classification In most of the textbooks which present topological classification of compact surfaces the classification is the top result. However the topology of 2- manifolds
More informationEG and BG. Leo Herr CU Boulder PhD Program
EG and BG Leo Herr CU Boulder PhD Program Simplicial sets are supposedly useful, and we will now see an application. Let π be an abelian group. View it as a discrete topological group whenever necessary
More informationTHE REALIZATION SPACE OF A Π-ALGEBRA: A MODULI PROBLEM IN ALGEBRAIC TOPOLOGY
THE REALIZATION SPACE OF A Π-ALGEBRA: A MODULI PROBLEM IN ALGEBRAIC TOPOLOGY D. BLANC, W. G. DWYER, AND P. G. GOERSS Contents 1. Introduction 1 2. Moduli spaces 7 3. Postnikov systems for spaces 10 4.
More informationA SURVEY OF (, 1)-CATEGORIES
A SURVEY OF (, 1)-CATEGORIES JULIA E. BERGNER Abstract. In this paper we give a summary of the comparisons between different definitions of so-called (, 1)-categories, which are considered to be models
More informationHomework 6: Excision for homotopy groups
Homework 6: Excision for homotopy groups Due date: Friday, October 18th. 0. Goals and Assumptions: The homotopy excision theorem Definition 5. Let A X. Thepair(X, A) is said to be n-connected if π i (X,
More information4. Definition: topological space, open set, topology, trivial topology, discrete topology.
Topology Summary Note to the reader. If a statement is marked with [Not proved in the lecture], then the statement was stated but not proved in the lecture. Of course, you don t need to know the proof.
More informationSimplicial Hyperbolic Surfaces
Simplicial Hyperbolic Surfaces Talk by Ken Bromberg August 21, 2007 1-Lipschitz Surfaces- In this lecture we will discuss geometrically meaningful ways of mapping a surface S into a hyperbolic manifold
More informationCOMBINATORIAL METHODS IN ALGEBRAIC TOPOLOGY
COMBINATORIAL METHODS IN ALGEBRAIC TOPOLOGY 1. Geometric and abstract simplicial complexes Let v 0, v 1,..., v k be points in R n. These points determine a hyperplane in R n, consisting of linear combinations
More informationPoint-Set Topology II
Point-Set Topology II Charles Staats September 14, 2010 1 More on Quotients Universal Property of Quotients. Let X be a topological space with equivalence relation. Suppose that f : X Y is continuous and
More informationThe three faces of homotopy type theory. Type theory and category theory. Minicourse plan. Typing judgments. Michael Shulman.
The three faces of homotopy type theory Type theory and category theory Michael Shulman 1 A programming language. 2 A foundation for mathematics based on homotopy theory. 3 A calculus for (, 1)-category
More informationSIMPLICIAL METHODS IN ALGEBRA AND ALGEBRAIC GEOMETRY. Contents
SIMPLICIAL METHODS IN ALGEBRA AND ALGEBRAIC GEOMETRY W. D. GILLAM Abstract. This is an introduction to / survey of simplicial techniques in algebra and algebraic geometry. We begin with the basic notions
More informationCombinatorics I (Lecture 36)
Combinatorics I (Lecture 36) February 18, 2015 Our goal in this lecture (and the next) is to carry out the combinatorial steps in the proof of the main theorem of Part III. We begin by recalling some notation
More informationDUALITY, TRACE, AND TRANSFER
DUALITY, TRACE, AND TRANSFER RUNE HAUGSENG ABSTRACT. For any fibration of spaces whose fibres are finite complexes there exists a stable map going the wrong way, called a transfer map. A nice way to construct
More informationMapping spaces in quasi-categories
Mapping spaces in quasi-categories DANIEL DUGGER DAVID I. SPIVAK We apply the Dwyer-Kan theory of homotopy function complexes in model categories to the study of mapping spaces in quasi-categories. Using
More information2 A topological interlude
2 A topological interlude 2.1 Topological spaces Recall that a topological space is a set X with a topology: a collection T of subsets of X, known as open sets, such that and X are open, and finite intersections
More informationSUMMER 2016 HOMOTOPY THEORY SEMINAR
SUMMER 2016 HOMOTOPY THEORY SEMINAR ARUN DEBRAY AUGUST 1, 2016 Contents 1. Simplicial Localizations and Homotopy Theory: 5/24/16 1 2. Simplicial Sets: 5/31/16 3 3. Model Categories: 6/7/16 8 4. Localization:
More informationA LEISURELY INTRODUCTION TO SIMPLICIAL SETS
A LEISURELY INTRODUCTION TO SIMPLICIAL SETS EMILY RIEHL Abstract. Simplicial sets are introduced in a way that should be pleasing to the formally-inclined. Care is taken to provide both the geometric intuition
More informationThe Simplicial Lusternik-Schnirelmann Category
Department of Mathematical Science University of Copenhagen The Simplicial Lusternik-Schnirelmann Category Author: Erica Minuz Advisor: Jesper Michael Møller Thesis for the Master degree in Mathematics
More informationSimplicial Objects and Homotopy Groups. J. Wu
Simplicial Objects and Homotopy Groups J. Wu Department of Mathematics, National University of Singapore, Singapore E-mail address: matwuj@nus.edu.sg URL: www.math.nus.edu.sg/~matwujie Partially supported
More informationINTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 6
INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 6 RAVI VAKIL Contents 1. Loose ends 1 2. Playing around with the structure sheaf of the plane 2 3. Defining affine varieties and prevarieties 3 At the end, I collected
More informationDERIVED DEFORMATION RINGS FOR GROUP REPRESENTATIONS
DERIVED DEFORMATION RINGS FOR GROUP REPRESENTATIONS LECTURES BY SOREN GALATIUS, NOTES BY TONY FENG Contents 1. Homotopy theory of representations 1 2. The classical theory 2 3. The derived theory 3 References
More informationUnivalent fibrations in type theory and topology
Univalent fibrations in type theory and topology Dan Christensen University of Western Ontario Wayne State University, April 11, 2016 Outline: Background on type theory Equivalence and univalence A characterization
More information4. Simplicial Complexes and Simplicial Homology
MATH41071/MATH61071 Algebraic topology Autumn Semester 2017 2018 4. Simplicial Complexes and Simplicial Homology Geometric simplicial complexes 4.1 Definition. A finite subset { v 0, v 1,..., v r } R n
More informationSimplicial Objects and Homotopy Groups
Simplicial Objects and Homotopy Groups Jie Wu Department of Mathematics National University of Singapore July 8, 2007 Simplicial Objects and Homotopy Groups -Objects and Homology Simplicial Sets and Homotopy
More information6.2 Classification of Closed Surfaces
Table 6.1: A polygon diagram 6.1.2 Second Proof: Compactifying Teichmuller Space 6.2 Classification of Closed Surfaces We saw that each surface has a triangulation. Compact surfaces have finite triangulations.
More informationNew York Journal of Mathematics. The universal simplicial bundle is a simplicial group
New York Journal of Mathematics New York J. Math. 19 (2013) 51 60. The universal simplicial bundle is a simplicial group David Michael Roberts Abstract. The universal bundle functor W : sgrp(c) sc for
More informationHomotopical algebra and higher categories
Homotopical algebra and higher categories Winter term 2016/17 Christoph Schweigert Hamburg University Department of Mathematics Section Algebra and Number Theory and Center for Mathematical Physics (as
More informationManifolds. Chapter X. 44. Locally Euclidean Spaces
Chapter X Manifolds 44. Locally Euclidean Spaces 44 1. Definition of Locally Euclidean Space Let n be a non-negative integer. A topological space X is called a locally Euclidean space of dimension n if
More informationLecture 11 COVERING SPACES
Lecture 11 COVERING SPACES A covering space (or covering) is not a space, but a mapping of spaces (usually manifolds) which, locally, is a homeomorphism, but globally may be quite complicated. The simplest
More informationarxiv: v1 [math.ag] 26 Mar 2012
Cartesian modules in small categories arxiv:1203.5724v1 [math.ag] 26 Mar 2012 Edgar Enochs enochs@ms.uky.edu Department of Mathematics University of Kentucky Lexington, KY 40506-0027 U.S.A Sergio Estrada
More informationBy taking products of coordinate charts, we obtain charts for the Cartesian product of manifolds. Hence the Cartesian product is a manifold.
1 Manifolds A manifold is a space which looks like R n at small scales (i.e. locally ), but which may be very different from this at large scales (i.e. globally ). In other words, manifolds are made by
More informationINTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 10
INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 10 RAVI VAKIL Contents 1. Schemes 1 1.1. Affine schemes 2 1.2. Schemes 3 1.3. Morphisms of affine schemes 3 1.4. Morphisms of general schemes 4 1.5. Scheme-theoretic
More informationOn The Algebraic L-theory of -sets
Pure and Applied Mathematics Quarterly Volume 8, Number 2 (Special Issue: In honor of F. Thomas Farrell and Lowell E. Jones, Part 2 of 2 ) 423 449, 2012 On The Algebraic L-theory of -sets Andrew Ranicki
More informationREPLACING MODEL CATEGORIES WITH SIMPLICIAL ONES
REPLACING MODEL CATEGORIES WITH SIMPLICIAL ONES DANIEL DUGGER Abstract. In this paper we show that model categories of a very broad class can be replaced up to Quillen equivalence by simplicial model categories.
More informationTOPOLOGY, DR. BLOCK, FALL 2015, NOTES, PART 3.
TOPOLOGY, DR. BLOCK, FALL 2015, NOTES, PART 3. 301. Definition. Let m be a positive integer, and let X be a set. An m-tuple of elements of X is a function x : {1,..., m} X. We sometimes use x i instead
More informationModuli Spaces of Commutative Ring Spectra
Moduli Spaces of Commutative Ring Spectra P. G. Goerss and M. J. Hopkins Abstract Let E be a homotopy commutative ring spectrum, and suppose the ring of cooperations E E is flat over E. We wish to address
More informationGeneralized Moment-Angle Complexes
Generalized Moment-Angle Complexes Fred Cohen 1-5 June 2010 joint work with Tony Bahri, Martin Bendersky, and Sam Gitler The setting and the problems: This report addresses joint work with Tony Bahri,
More informationA Brisk Jaunt To Motivic Homotopy
A Brisk Jaunt To Motivic Homotopy Kyle Ferendo April 2015 The invariants employed by algebraic topology to study topological spaces arise from certain qualities of the category of topological spaces. Homotopy
More informationFundamental Properties of Digital Simplicial Homology Groups
Vol., No. 2, March 23, PP: 25-42, ISSN: 2327-2325 (Online) Research article Fundamental Properties of Digital Simplicial Homology Groups Ozgur Ege*, Ismet Karaca *Department of Mathematics, Celal Bayar
More informationDiscrete Morse Theory on Simplicial Complexes
Discrete Morse Theory on Simplicial Complexes August 27, 2009 ALEX ZORN ABSTRACT: Following [2] and [3], we introduce a combinatorial analog of topological Morse theory, and show how the introduction of
More informationQuasi-category theory you can use
Quasi-category theory you can use Emily Riehl Harvard University http://www.math.harvard.edu/ eriehl Graduate Student Topology & Geometry Conference UT Austin Sunday, April 6th, 2014 Plan Part I. Introduction
More information1 Sheaf-Like approaches to the Fukaya Category
1 Sheaf-Like approaches to the Fukaya Category 1 1 Sheaf-Like approaches to the Fukaya Category The goal of this talk is to take a look at sheaf-like approaches to constructing the Fukaya category of a
More informationT. Background material: Topology
MATH41071/MATH61071 Algebraic topology Autumn Semester 2017 2018 T. Background material: Topology For convenience this is an overview of basic topological ideas which will be used in the course. This material
More informationCategories, posets, Alexandrov spaces, simplicial complexes, with emphasis on finite spaces. J.P. May
Categories, posets, Alexandrov spaces, simplicial complexes, with emphasis on finite spaces J.P. May November 10, 2008 K(,1) Groups i Cats π 1 N Spaces S Simp. Sets Sd Reg. Simp. Sets Sd 2 τ Sd 1 i Simp.
More informationOn the duality of topological Boolean algebras
On the duality of topological Boolean algebras Matthew de Brecht 1 Graduate School of Human and Environmental Studies, Kyoto University Workshop on Mathematical Logic and its Applications 2016 1 This work
More informationGenerell Topologi. Richard Williamson. May 6, 2013
Generell Topologi Richard Williamson May 6, 2013 1 8 Thursday 7th February 8.1 Using connectedness to distinguish between topological spaces I Proposition 8.1. Let (, O ) and (Y, O Y ) be topological spaces.
More informationFuzzy sets and geometric logic
Fuzzy sets and geometric logic Steven Vickers School of Computer Science, University of Birmingham, Birmingham, B15 2TT, UK s.j.vickers@cs.bham.ac.uk July 25, 2013 Abstract Höhle has identified fuzzy sets,
More information