A homotopy theory

Results: 280



#Item
1Lifting Problems in a Grothendieck Fibration Andrew Swan July 21, 2017 The notion of lifting problem is a central concept in homotopical algebra, as well as in the semantics of homotopy type theory. Given two maps m : U

Lifting Problems in a Grothendieck Fibration Andrew Swan July 21, 2017 The notion of lifting problem is a central concept in homotopical algebra, as well as in the semantics of homotopy type theory. Given two maps m : U

Add to Reading List

Source URL: hott-uf.github.io

Language: English - Date: 2018-08-13 11:55:33
    2Towards a Directed HoTT with Four Kinds of Variance Andreas Nuyts, Jesper Cockx, Dominique Devriese and Frank Piessens May 15, 2015 Homotopy type theory (HoTT) offers a constructive way of working with ∞-groupoids. Whe

    Towards a Directed HoTT with Four Kinds of Variance Andreas Nuyts, Jesper Cockx, Dominique Devriese and Frank Piessens May 15, 2015 Homotopy type theory (HoTT) offers a constructive way of working with ∞-groupoids. Whe

    Add to Reading List

    Source URL: hott-uf.gforge.inria.fr

    Language: English - Date: 2016-03-10 17:41:39
      3A cubical model of homotopy type theory∗ Steve Awodey Stockholm, 21 June 2016 The main goal of these notes is to prove the following: Theorem. There is an algebraic weak factorization system (L, R) on the category of c

      A cubical model of homotopy type theory∗ Steve Awodey Stockholm, 21 June 2016 The main goal of these notes is to prove the following: Theorem. There is an algebraic weak factorization system (L, R) on the category of c

      Add to Reading List

      Source URL: www.andrew.cmu.edu

      - Date: 2018-02-12 22:13:01
        4MODEL STRUCTURE ON THE UNIVERSE IN A TWO LEVEL TYPE THEORY SIMON BOULIER, NICOLAS TABAREAU A BSTRACT. Last year we presented how to formalize a model structure on the universe of fibrant types in Homotopy Type System, an

        MODEL STRUCTURE ON THE UNIVERSE IN A TWO LEVEL TYPE THEORY SIMON BOULIER, NICOLAS TABAREAU A BSTRACT. Last year we presented how to formalize a model structure on the universe of fibrant types in Homotopy Type System, an

        Add to Reading List

        Source URL: hott-uf.github.io

        - Date: 2018-03-28 14:04:14
          5A COINDUCTIVE APPROACH TO TYPE VALUED EQUIVALENCE RELATIONS SIMON BOULIER, EGBERT RIJKE, AND NICOLAS TABAREAU A BSTRACT. We propose a coinductive definition of ∞-equivalence relations in Homotopy Type Theory, where the

          A COINDUCTIVE APPROACH TO TYPE VALUED EQUIVALENCE RELATIONS SIMON BOULIER, EGBERT RIJKE, AND NICOLAS TABAREAU A BSTRACT. We propose a coinductive definition of ∞-equivalence relations in Homotopy Type Theory, where the

          Add to Reading List

          Source URL: hott-uf.github.io

          - Date: 2018-03-28 14:04:14
            6UNFOLDING FOLDS MATTHEW WEAVER AND DIMITRIS TSEMENTZIS A well-known problem in Homotopy Type Theory is that of constructing objects that seemingly require infinitely many coherence conditions in their definition. One sol

            UNFOLDING FOLDS MATTHEW WEAVER AND DIMITRIS TSEMENTZIS A well-known problem in Homotopy Type Theory is that of constructing objects that seemingly require infinitely many coherence conditions in their definition. One sol

            Add to Reading List

            Source URL: hott-uf.github.io

            - Date: 2018-03-28 14:04:14
              7List of known errata in the master thesis ‘Towards a Directed Homotopy Type Theory based on 4 Kinds of Variance’ Andreas Nuyts January 27, 2016 Most of these errata are (possibly confusing) typos. Please see errata c

              List of known errata in the master thesis ‘Towards a Directed Homotopy Type Theory based on 4 Kinds of Variance’ Andreas Nuyts January 27, 2016 Most of these errata are (possibly confusing) typos. Please see errata c

              Add to Reading List

              Source URL: people.cs.kuleuven.be

              - Date: 2016-01-27 04:46:30
                8ELLIPTIC CURVES AND ALGEBRAIC TOPOLOGY MATTHEW ANDO Part 1. Elliptic curves and chromatic stable homotopy theory Elliptic curves enter algebraic topology through “Elliptic cohomology”–really a family of cohomology

                ELLIPTIC CURVES AND ALGEBRAIC TOPOLOGY MATTHEW ANDO Part 1. Elliptic curves and chromatic stable homotopy theory Elliptic curves enter algebraic topology through “Elliptic cohomology”–really a family of cohomology

                Add to Reading List

                Source URL: www.math.uiuc.edu

                - Date: 2003-08-27 15:44:38
                  9Math. Z. 239, 803–Digital Object Identifier (DOIs002090100347 A uniqueness theorem for stable homotopy theory Stefan Schwede1 , Brooke Shipley2 1

                  Math. Z. 239, 803–Digital Object Identifier (DOIs002090100347 A uniqueness theorem for stable homotopy theory Stefan Schwede1 , Brooke Shipley2 1

                  Add to Reading List

                  Source URL: www.math.uni-bonn.de

                  - Date: 2003-11-07 09:15:55
                    10ORBISPACES, ORTHOGONAL SPACES, AND THE UNIVERSAL COMPACT LIE GROUP STEFAN SCHWEDE Introduction In this article we provide a new perspectives on unstable global homotopy theory: we interpret it as the

                    ORBISPACES, ORTHOGONAL SPACES, AND THE UNIVERSAL COMPACT LIE GROUP STEFAN SCHWEDE Introduction In this article we provide a new perspectives on unstable global homotopy theory: we interpret it as the

                    Add to Reading List

                    Source URL: www.math.uni-bonn.de

                    - Date: 2016-03-09 07:40:20