Comparison of categories of traces in directed topology

Directed Topology and Concurrency Theory.

Directed Topology and Concurrency Theory. Lisbeth Fajstrup Department of Mathematics alborg University Denmark Sapporo 2017 Directed Topology/Concurrency Take home message: Models of concurrency geometry/topology

Spaces of directed paths as simplicial complexes

Spaces of directed paths as simplicial complexes Department of Mathematical Sciences, Aalborg University,Denmark Applied and Computational Algebraic Topology ALTA, Bremen July 16, 2013 Table of Contents

Combinatorial and topological models for spaces of schedule

Combinatorial and topological models for spaces of schedules Department of Mathematical Sciences, Aalborg University, Denmark 9 July, 2015 ACAT Final Project Meeting Outline Acknowledgements TOC A concurrency

Combinatorial and topological models for spaces of schedule

Combinatorial and topological models for spaces of schedules Department of Mathematical Sciences, Aalborg University, Denmark November 14, 2014 Discrete, Computational and Algebraic Topology Department

A mathematical model for concurrent parallel computing

A mathematical model for concurrent parallel computing Cleveland State University http://academic.csuohio.edu/bubenik p/ November 11, 2008. University of Oregon The end of Moore s Law? Example: Multi-core

Reparametrizations of Continuous Paths

Martin Raussen Aalborg University, Denmark Schloss Dagstuhl, 2006 Paths and Reparametrizations in Differential Geometry I = [0, 1] the unit interval. path: p : I R n, continuous, differentiable on (0,

(communicated by Gunnar Carlsson)

Homology, Homotopy and Applications, vol.5(2), 2003, pp.257 280 STATE SPACES AND DIPATHS UP TO DIHOMOTOPY MARTIN RAUSSEN (communicated by Gunnar Carlsson) Abstract Geometric models have been used by several

Topological and combinatorial models of directed path spaces

Topological and combinatorial models of directed path spaces Martin Raussen Department of Mathematical Sciences, Aalborg University, Denmark 25 April, 2017 Spring School Applied and Computational Algebraic

CRITERIA FOR HOMOTOPIC MAPS TO BE SO ALONG MONOTONE HOMOTOPIES

CRITERIA FOR HOMOTOPIC MAPS TO BE SO ALONG MONOTONE HOMOTOPIES SANJEEVI KRISHNAN arxiv:0709.3715v3 [math.at] 5 Dec 2008 Abstract. The state spaces of machines admit the structure of time. A homotopy theory

T-homotopy and refinement of observation (I) : Introduction

GETCO 2006 T-homotopy and refinement of observation (I) : Introduction Philippe Gaucher Preuves Programmes et Systèmes Université Paris 7 Denis Diderot Site Chevaleret Case 7012 2 Place Jussieu 75205 PARIS

Directed Algebraic Topology and Concurrency

Directed Algebraic Topology and Concurrency Emmanuel Haucourt emmanuel.haucourt@polytechnique.edu MPRI : Concurrency (2.3) Wednesday, the 4 th of January 2017 1 / 43 Locally ordered spaces Partially ordered

Higher Categories, Homotopy Theory, and Applications

Higher Categories, Homotopy Theory, and Applications Thomas M. Fiore http://www.math.uchicago.edu/~fiore/ Why Homotopy Theory and Higher Categories? Homotopy Theory solves topological and geometric problems

Local higher category theory

February 27, 2017 Path category The nerve functor B : cat sset is def. by BC n = hom(n, C), where n is the poset 0 1 n. The path category functor P : sset cat is the left adjoint of the nerve: P(X ) =

The Hurewicz Theorem

The Hurewicz Theorem April 5, 011 1 Introduction The fundamental group and homology groups both give extremely useful information, particularly about path-connected spaces. Both can be considered as functors,

Math 440 Problem Set 2

Math 440 Problem Set 2 Problem 4, p. 52. Let X R 3 be the union of n lines through the origin. Compute π 1 (R 3 X). Solution: R 3 X deformation retracts to S 2 with 2n points removed. Choose one of them.

AALBORG UNIVERSITY. The trace space of the k-skeleton of the n-cube. Iver Ottosen. Department of Mathematical Sciences. Aalborg University

AALBORG UNIVERSITY The trace space of the k-skeleton of the n-cube by Iver Ottosen R-2014-01 January 2014 Department of Mathematical Sciences Aalborg University Fredrik Bajers Vej 7 G DK - 9220 Aalborg

Project: Construction of the Fundamental Group

Project: Construction of the Fundamental Group Renzo s math 472 This worksheet is designed to lead you to define and discover our first functor: the fundamental group. 1 Definitions First of all, let us

Lecture 6: Etale Fundamental Group

Lecture 6: Etale Fundamental Group October 5, 2014 1 Review of the topological fundamental group and covering spaces 1.1 Topological fundamental group Suppose X is a path-connected topological space, and

Combinatorial Models for M (Lecture 10)

Combinatorial Models for M (Lecture 10) September 24, 2014 Let f : X Y be a map of finite nonsingular simplicial sets. In the previous lecture, we showed that the induced map f : X Y is a fibration if

We then have an analogous theorem. Theorem 1.2.

1. K-Theory of Topological Stacks, Ryan Grady, Notre Dame Throughout, G is sufficiently nice: simple, maybe π 1 is free, or perhaps it s even simply connected. Anyway, there are some assumptions lurking.

Waldhausen Additivity and Approximation in Quasicategorical K-Theory

Waldhausen Additivity and Approximation in Quasicategorical K-Theory Thomas M. Fiore partly joint with Wolfgang Lück, http://www-personal.umd.umich.edu/~tmfiore/ http://www.him.uni-bonn.de/lueck/ Motivation

Solution: We can cut the 2-simplex in two, perform the identification and then stitch it back up. The best way to see this is with the picture:

Samuel Lee Algebraic Topology Homework #6 May 11, 2016 Problem 1: ( 2.1: #1). What familiar space is the quotient -complex of a 2-simplex [v 0, v 1, v 2 ] obtained by identifying the edges [v 0, v 1 ]

THE FUNDAMENTAL GROUP AND CW COMPLEXES

THE FUNDAMENTAL GROUP AND CW COMPLEXES JAE HYUNG SIM Abstract. This paper is a quick introduction to some basic concepts in Algebraic Topology. We start by defining homotopy and delving into the Fundamental

THE FUNDAMENTAL GROUP AND BROUWER S FIXED POINT THEOREM AMANDA BOWER

THE FUNDAMENTAL GROUP AND BROUWER S FIXED POINT THEOREM AMANDA BOWER Abstract. The fundamental group is an invariant of topological spaces that measures the contractibility of loops. This project studies

HOMOLOGY THEORIES INGRID STARKEY

HOMOLOGY THEORIES INGRID STARKEY Abstract. This paper will introduce the notion of homology for topological spaces and discuss its intuitive meaning. It will also describe a general method that is used

7. Homotopy and the Fundamental Group

7. Homotopy and the Fundamental Group The group G will be called the fundamental group of the manifold V. J. Henri Poincaré, 895 The properties of a topological space that we have developed so far have

A CLOSED MODEL CATEGORY FOR (n 1)-CONNECTED SPACES

PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 124, Number 11, November 1996 A CLOSED MODEL CATEGORY FOR (n 1)-CONNECTED SPACES J. IGNACIO EXTREMIANA ALDANA, L. JAVIER HERNÁNDEZ PARICIO, AND M.

Equivalence of the Combinatorial Definition (Lecture 11)

Equivalence of the Combinatorial Definition (Lecture 11) September 26, 2014 Our goal in this lecture is to complete the proof of our first main theorem by proving the following: Theorem 1. The map of simplicial

A homotopy theory of diffeological spaces

A homotopy theory of diffeological spaces Dan Christensen and Enxin Wu MIT Jan. 5, 2012 Motivation Smooth manifolds contain a lot of geometric information: tangent spaces, differential forms, de Rham cohomology,

3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection

3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection is called the objects of C and is denoted Obj(C). Given

Derived Algebraic Geometry I: Stable -Categories

Derived Algebraic Geometry I: Stable -Categories October 8, 2009 Contents 1 Introduction 2 2 Stable -Categories 3 3 The Homotopy Category of a Stable -Category 6 4 Properties of Stable -Categories 12 5

Patrick Iglesias-Zemmour

Mathematical Surveys and Monographs Volume 185 Diffeology Patrick Iglesias-Zemmour American Mathematical Society Contents Preface xvii Chapter 1. Diffeology and Diffeological Spaces 1 Linguistic Preliminaries

CATEGORY THEORY. Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths.

CATEGORY THEORY PROFESSOR PETER JOHNSTONE Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths. Definition 1.1. A category C consists

D-MODULES: AN INTRODUCTION

D-MODULES: AN INTRODUCTION ANNA ROMANOVA 1. overview D-modules are a useful tool in both representation theory and algebraic geometry. In this talk, I will motivate the study of D-modules by describing

p,q H (X), H (Y ) ), where the index p has the same meaning as the

There are two Eilenberg-Moore spectral sequences that we shall consider, one for homology and the other for cohomology. In contrast with the situation for the Serre spectral sequence, for the Eilenberg-Moore

ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP. Contents 1. Introduction 1

ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP HONG GYUN KIM Abstract. I studied the construction of an algebraically trivial, but topologically non-trivial map by Hopf map p : S 3 S 2 and a

Fundamental group. Chapter The loop space Ω(X, x 0 ) and the fundamental group

Chapter 6 Fundamental group 6. The loop space Ω(X, x 0 ) and the fundamental group π (X, x 0 ) Let X be a topological space with a basepoint x 0 X. The space of paths in X emanating from x 0 is the space

Math 752 Week s 1 1

Math 752 Week 13 1 Homotopy Groups Definition 1. For n 0 and X a topological space with x 0 X, define π n (X) = {f : (I n, I n ) (X, x 0 )}/ where is the usual homotopy of maps. Then we have the following

Euler Characteristics of Categories and Homotopy Colimits

Euler Characteristics of Categories and Homotopy Colimits Thomas M. Fiore joint work with Wolfgang Lück and Roman Sauer http://www-personal.umd.umich.edu/~tmfiore/ Outline 1 2 3 4 5 6 I.. The most basic

Lecture slide No.1 for Math 207a Winter 2019 Haruzo Hida

Lecture slide No.1 for Math 207a Winter 2019 Haruzo Hida Start with an n-dimensional compatible system ρ = {ρ l } of G K. For simplicity, we assume that its coefficient field T is Q. Pick a prime p and

1 Notations and Statement of the Main Results

An introduction to algebraic fundamental groups 1 Notations and Statement of the Main Results Throughout the talk, all schemes are locally Noetherian. All maps are of locally finite type. There two main

1 Whitehead s theorem.

1 Whitehead s theorem. Statement: If f : X Y is a map of CW complexes inducing isomorphisms on all homotopy groups, then f is a homotopy equivalence. Moreover, if f is the inclusion of a subcomplex X in

ON THE HOMOTOPY THEORY OF ENRICHED CATEGORIES

ON THE HOMOTOPY THEORY OF ENRICHED CATEGORIES CLEMENS BERGER AND IEKE MOERDIJK Abstract. We give sufficient conditions for the existence of a Quillen model structure on small categories enriched in a given

Homework 3: Relative homology and excision

Homework 3: Relative homology and excision 0. Pre-requisites. The main theorem you ll have to assume is the excision theorem, but only for Problem 6. Recall what this says: Let A V X, where the interior

Algebraic models of homotopy type theory

Algebraic models of homotopy type theory Nicola Gambino School of Mathematics University of Leeds CT2016 Halifax, August 9th 1 Theme: property vs structure Fundamental distinction: satisfaction of a property

The Fundamental Group

The Fundamental Group Renzo s math 472 This worksheet is designed to accompany our lectures on the fundamental group, collecting relevant definitions and main ideas. 1 Homotopy Intuition: Homotopy formalizes

Category theory and set theory: algebraic set theory as an example of their interaction

Category theory and set theory: algebraic set theory as an example of their interaction Brice Halimi May 30, 2014 My talk will be devoted to an example of positive interaction between (ZFC-style) set theory

New York Journal of Mathematics. Directed algebraic topology and higher dimensional transition systems

New York Journal of Mathematics New York J. Math. 16 (2010) 409 461. Directed algebraic topology and higher dimensional transition systems Philippe Gaucher Abstract. Cattani Sassone s notion of higher

h M (T ). The natural isomorphism η : M h M determines an element U = η 1

MODULI PROBLEMS AND GEOMETRIC INVARIANT THEORY 7 2.3. Fine moduli spaces. The ideal situation is when there is a scheme that represents our given moduli functor. Definition 2.15. Let M : Sch Set be a moduli

MTH 428/528. Introduction to Topology II. Elements of Algebraic Topology. Bernard Badzioch

MTH 428/528 Introduction to Topology II Elements of Algebraic Topology Bernard Badzioch 2016.12.12 Contents 1. Some Motivation.......................................................... 3 2. Categories

Loday construction in functor categories

Wayne State University AMS Bloomington April, 1st 2017 Motivation Goal: Describe a computational tool (using some categorical machinery) for computing higher order THH, which is an approximation to iterated

Math Homotopy Theory Hurewicz theorem

Math 527 - Homotopy Theory Hurewicz theorem Martin Frankland March 25, 2013 1 Background material Proposition 1.1. For all n 1, we have π n (S n ) = Z, generated by the class of the identity map id: S

Introduction to type theory and homotopy theory

Introduction to type theory and homotopy theory Michael Shulman January 24, 2012 1 / 47 Homotopy theory Homotopy type theory types have a homotopy theory Intensional type theory New perspectives on extensional

1 / A bird s-eye view of type theory. 2 A bird s-eye view of homotopy theory. 3 Path spaces and identity types. 4 Homotopy type theory

Introduction to type theory and homotopy theory Michael Shulman January 24, 2012 Homotopy theory Homotopy type theory types have a homotopy theory New perspectives on extensional vs. intensional Intensional

SOME EXERCISES. This is not an assignment, though some exercises on this list might become part of an assignment. Class 2

SOME EXERCISES This is not an assignment, though some exercises on this list might become part of an assignment. Class 2 (1) Let C be a category and let X C. Prove that the assignment Y C(Y, X) is a functor

Nonabelian Poincare Duality (Lecture 8)

Nonabelian Poincare Duality (Lecture 8) February 19, 2014 Let M be a compact oriented manifold of dimension n. Then Poincare duality asserts the existence of an isomorphism H (M; A) H n (M; A) for any

Homotopy Theory of Topological Spaces and Simplicial Sets

Homotopy Theory of Topological Spaces and Simplicial Sets Jacobien Carstens May 1, 2007 Bachelorthesis Supervision: prof. Jesper Grodal KdV Institute for mathematics Faculty of Natural Sciences, Mathematics

GENERALIZED COVERING SPACES AND THE GALOIS FUNDAMENTAL GROUP

GENERALIZED COVERING SPACES AND THE GALOIS FUNDAMENTAL GROUP CHRISTIAN KLEVDAL Contents 1. Introduction 1 2. A Category of Covers 2 3. Uniform Spaces and Topological Groups 6 4. Galois Theory of Semicovers

MATRIX LIE GROUPS AND LIE GROUPS

MATRIX LIE GROUPS AND LIE GROUPS Steven Sy December 7, 2005 I MATRIX LIE GROUPS Definition: A matrix Lie group is a closed subgroup of Thus if is any sequence of matrices in, and for some, then either

Applications of Homotopy

Chapter 9 Applications of Homotopy In Section 8.2 we showed that the fundamental group can be used to show that two spaces are not homeomorphic. In this chapter we exhibit other uses of the fundamental

The equivalence axiom and univalent models of type theory.

The equivalence axiom and univalent models of type theory. (Talk at CMU on February 4, 2010) By Vladimir Voevodsky Abstract I will show how to define, in any type system with dependent sums, products and

Categories and functors

Lecture 1 Categories and functors Definition 1.1 A category A consists of a collection ob(a) (whose elements are called the objects of A) for each A, B ob(a), a collection A(A, B) (whose elements are called

LECTURE NOTES IN EQUIVARIANT ALGEBRAIC GEOMETRY. Spec k = (G G) G G (G G) G G G G i 1 G e

LECTURE NOTES IN EQUIVARIANT ALEBRAIC EOMETRY 8/4/5 Let k be field, not necessaril algebraicall closed. Definition: An algebraic group is a k-scheme together with morphisms (µ, i, e), k µ, i, Spec k, which

Representations and Linear Actions

Representations and Linear Actions Definition 0.1. Let G be an S-group. A representation of G is a morphism of S-groups φ G GL(n, S) for some n. We say φ is faithful if it is a monomorphism (in the category

A model-independent theory of -categories

Emily Riehl Johns Hopkins University A model-independent theory of -categories joint with Dominic Verity Joint International Meeting of the AMS and the CMS Dominic Verity Centre of Australian Category

o ALGEBRAIC K-THEORY AND HIGHER CATEGORIES ANDREW J. BLUMBERG Abstract. The outline of the talk. 1. Setup Goal: Explain algebraic K-theory as a functor from the homotopical category of homotopical categories

Geometry and Topology, Lecture 4 The fundamental group and covering spaces

1 Geometry and Topology, Lecture 4 The fundamental group and covering spaces Text: Andrew Ranicki (Edinburgh) Pictures: Julia Collins (Edinburgh) 8th November, 2007 The method of algebraic topology 2 Algebraic

LECTURE X: KOSZUL DUALITY

LECTURE X: KOSZUL DUALITY Fix a prime number p and an integer n > 0, and let S vn denote the -category of v n -periodic spaces. Last semester, we proved the following theorem of Heuts: Theorem 1. The Bousfield-Kuhn

FREUDENTHAL SUSPENSION THEOREM

FREUDENTHAL SUSPENSION THEOREM TENGREN ZHANG Abstract. In this paper, I will prove the Freudenthal suspension theorem, and use that to explain what stable homotopy groups are. All the results stated in

Aalborg Universitet. Reparametrizations of continuous paths Fahrenberg, Ulrich; Raussen, Martin Hubert. Publication date: 2006

Aalborg Universitet Reparametrizations of continuous paths Fahrenberg, Ulrich; Raussen, Martin Hubert Publication date: 2006 Document Version Publisher's PDF, also known as Version of record Link to publication

7.3 Singular Homology Groups

184 CHAPTER 7. HOMOLOGY THEORY 7.3 Singular Homology Groups 7.3.1 Cycles, Boundaries and Homology Groups We can define the singular p-chains with coefficients in a field K. Furthermore, we can define the

MATH 215B HOMEWORK 5 SOLUTIONS

MATH 25B HOMEWORK 5 SOLUTIONS. ( marks) Show that the quotient map S S S 2 collapsing the subspace S S to a point is not nullhomotopic by showing that it induces an isomorphism on H 2. On the other hand,

MULTIPLE DISJUNCTION FOR SPACES OF POINCARÉ EMBEDDINGS

MULTIPLE DISJUNCTION FOR SPACES OF POINCARÉ EMBEDDINGS THOMAS G. GOODWILLIE AND JOHN R. KLEIN Abstract. Still at it. Contents 1. Introduction 1 2. Some Language 6 3. Getting the ambient space to be connected

Basic Notions in Algebraic Topology 1

Basic Notions in Algebraic Topology 1 Yonatan Harpaz Remark 1. In these notes when we say map we always mean continuous map. 1 The Spaces of Algebraic Topology One of the main difference in passing from

A Taxonomy of 2d TQFTs

1 Section 2 Ordinary TFTs and Extended TFTs A Taxonomy of 2d TQFTs Chris Elliott October 28, 2013 1 Introduction My goal in this talk is to explain several extensions of ordinary TQFTs in two dimensions

arxiv: v2 [math.at] 18 Sep 2008

TOPOLOGICAL HOCHSCHILD AND CYCLIC HOMOLOGY FOR DIFFERENTIAL GRADED CATEGORIES arxiv:0804.2791v2 [math.at] 18 Sep 2008 GONÇALO TABUADA Abstract. We define a topological Hochschild (THH) and cyclic (TC)

Math 215B: Solutions 3

Math 215B: Solutions 3 (1) For this problem you may assume the classification of smooth one-dimensional manifolds: Any compact smooth one-dimensional manifold is diffeomorphic to a finite disjoint union

Derivatives of the identity functor and operads

University of Oregon Manifolds, K-theory, and Related Topics Dubrovnik, Croatia 23 June 2014 Motivation We are interested in finding examples of categories in which the Goodwillie derivatives of the identity

SM CATEGORIES AND THEIR REPRESENTATIONS

SM CATEGORIES AND THEIR REPRESENTATIONS Abstract. Lectures at the TQFT seminar, Jerusalem, Fall 5770 1. Introduction A monoidal category C is a category with a bifunctor : C C C endowed with an associativity

Math 535a Homework 5

Math 535a Homework 5 Due Monday, March 20, 2017 by 5 pm Please remember to write down your name on your assignment. 1. Let (E, π E ) and (F, π F ) be (smooth) vector bundles over a common base M. A vector

1. Introduction. Let C be a Waldhausen category (the precise definition

K-THEORY OF WLDHUSEN CTEGORY S SYMMETRIC SPECTRUM MITY BOYRCHENKO bstract. If C is a Waldhausen category (i.e., a category with cofibrations and weak equivalences ), it is known that one can define its

arxiv: v1 [math.kt] 22 Nov 2010

COMPARISON OF CUBICAL AND SIMPLICIAL DERIVED FUNCTORS IRAKLI PATCHKORIA arxiv:1011.4870v1 [math.kt] 22 Nov 2010 Abstract. In this note we prove that the simplicial derived functors introduced by Tierney

OVERVIEW OF SPECTRA. Contents

OVERVIEW OF SPECTRA Contents 1. Motivation 1 2. Some recollections about Top 3 3. Spanier Whitehead category 4 4. Properties of the Stable Homotopy Category HoSpectra 5 5. Topics 7 1. Motivation There

DERIVED CATEGORIES OF STACKS. Contents 1. Introduction 1 2. Conventions, notation, and abuse of language The lisse-étale and the flat-fppf sites

DERIVED CATEGORIES OF STACKS Contents 1. Introduction 1 2. Conventions, notation, and abuse of language 1 3. The lisse-étale and the flat-fppf sites 1 4. Derived categories of quasi-coherent modules 5

CW-complexes. Stephen A. Mitchell. November 1997

CW-complexes Stephen A. Mitchell November 1997 A CW-complex is first of all a Hausdorff space X equipped with a collection of characteristic maps φ n α : D n X. Here n ranges over the nonnegative integers,

Tensor products in Riesz space theory

Tensor products in Riesz space theor Jan van Waaij Master thesis defended on Jul 16, 2013 Thesis advisors dr. O.W. van Gaans dr. M.F.E. de Jeu Mathematical Institute, Universit of Leiden CONTENTS 2 Contents

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0

Groupoids and Orbifold Cohomology, Part 2

Groupoids and Orbifold Cohomology, Part 2 Dorette Pronk (with Laura Scull) Dalhousie University (and Fort Lewis College) Groupoidfest 2011, University of Nevada Reno, January 22, 2012 Motivation Orbifolds:

BEN KNUDSEN. Conf k (f) Conf k (Y )

CONFIGURATION SPACES IN ALGEBRAIC TOPOLOGY: LECTURE 2 BEN KNUDSEN We begin our study of configuration spaces by observing a few of their basic properties. First, we note that, if f : X Y is an injective

THE COMPLEX OF FREE FACTORS OF A FREE GROUP Allen Hatcher* and Karen Vogtmann*

THE COMPLEX OF FREE FACTORS OF A FREE GROUP Allen Hatcher* and Karen Vogtmann* ABSTRACT. We show that the geometric realization of the partially ordered set of proper free factors in a finitely generated

18.312: Algebraic Combinatorics Lionel Levine. Lecture 11

18.312: Algebraic Combinatorics Lionel Levine Lecture date: March 15, 2011 Lecture 11 Notes by: Ben Bond Today: Mobius Algebras, µ( n ). Test: The average was 17. If you got < 15, you have the option to

PART II.1. IND-COHERENT SHEAVES ON SCHEMES

PART II.1. IND-COHERENT SHEAVES ON SCHEMES Contents Introduction 1 1. Ind-coherent sheaves on a scheme 2 1.1. Definition of the category 2 1.2. t-structure 3 2. The direct image functor 4 2.1. Direct image

MAS435 Algebraic Topology Part A: Semester 1 Exercises

MAS435 Algebraic Topology 2011-12 Part A: Semester 1 Exercises Dr E. L. G. Cheng Office: J24 E-mail: e.cheng@sheffield.ac.uk http://cheng.staff.shef.ac.uk/mas435/ You should hand in your solutions to Exercises

1 Categorical Background

1 Categorical Background 1.1 Categories and Functors Definition 1.1.1 A category C is given by a class of objects, often denoted by ob C, and for any two objects A, B of C a proper set of morphisms C(A,

arxiv: v1 [math.at] 17 Apr 2008

DG CATEGORIES AS EILENBERG-MAC LANE SPECTRAL ALGEBRA arxiv:0804.2791v1 [math.at] 17 Apr 2008 GONÇALO TABUADA Abstract. We construct a zig-zag of Quillen equivalences between the homotopy theories of differential

Coxeter Groups and Artin Groups

Chapter 1 Coxeter Groups and Artin Groups 1.1 Artin Groups Let M be a Coxeter matrix with index set S. defined by M is given by the presentation: A M := s S sts }{{ } = tst }{{ } m s,t factors m s,t The

1 Motivation. If X is a topological space and x X a point, then the fundamental group is defined as. the set of (pointed) morphisms from the circle

References are: [Szamuely] Galois Groups and Fundamental Groups [SGA1] Grothendieck, et al. Revêtements étales et groupe fondamental [Stacks project] The Stacks Project, https://stacks.math.columbia. edu/

MATH8808: ALGEBRAIC TOPOLOGY

MATH8808: ALGEBRAIC TOPOLOGY DAWEI CHEN Contents 1. Underlying Geometric Notions 2 1.1. Homotopy 2 1.2. Cell Complexes 3 1.3. Operations on Cell Complexes 3 1.4. Criteria for Homotopy Equivalence 4 1.5.

VERY ROUGH NOTES ON SPECTRAL DEFORMATION THEORY

VERY ROUGH NOTES ON SPECTRAL DEFORMATION THEORY 1. Classical Deformation Theory I want to begin with some classical deformation theory, before moving on to the spectral generalizations that constitute

1. Classifying Spaces. Classifying Spaces

Classifying Spaces 1. Classifying Spaces. To make our lives much easier, all topological spaces from now on will be homeomorphic to CW complexes. Fact: All smooth manifolds are homeomorphic to CW complexes.