Homotopy

Results: 1053



#Item
11An introduction to Homotopy Type Theory Nicola Gambino University of Palermo Leicester, March 15th, 2013

An introduction to Homotopy Type Theory Nicola Gambino University of Palermo Leicester, March 15th, 2013

Add to Reading List

Source URL: www1.maths.leeds.ac.uk

Language: English - Date: 2013-05-09 12:23:24
    12Categorical homotopy theory Emily Riehl To my students, colleagues, friends who inspired this work. . . . what we are doing is finding ways

    Categorical homotopy theory Emily Riehl To my students, colleagues, friends who inspired this work. . . . what we are doing is finding ways

    Add to Reading List

    Source URL: www.math.jhu.edu

    Language: English - Date: 2017-06-14 01:36:54
      13Category Theory in Context Emily Riehl Chapter 6 is adapted with permission from Chapter 1 of Categorical Homotopy Theory, by Emily Riehl, Cambridge University Press. © Emily Riehl 2014

      Category Theory in Context Emily Riehl Chapter 6 is adapted with permission from Chapter 1 of Categorical Homotopy Theory, by Emily Riehl, Cambridge University Press. © Emily Riehl 2014

      Add to Reading List

      Source URL: www.math.jhu.edu

      Language: English - Date: 2018-07-23 09:34:58
        14Homotopy and the Kestelman-Borwein-Ditor Theorem N. H. Bingham Mathematics Department, Imperial College London, South Kensington, London SW7 2AZ

        Homotopy and the Kestelman-Borwein-Ditor Theorem N. H. Bingham Mathematics Department, Imperial College London, South Kensington, London SW7 2AZ

        Add to Reading List

        Source URL: www.cdam.lse.ac.uk

        Language: English - Date: 2017-04-12 10:30:37
          15Homotopy Type Theory and Algebraic Model Structures (I) Nicola Gambino School of Mathematics University of Leeds

          Homotopy Type Theory and Algebraic Model Structures (I) Nicola Gambino School of Mathematics University of Leeds

          Add to Reading List

          Source URL: www1.maths.leeds.ac.uk

          Language: English - Date: 2016-12-12 10:03:11
            16Nicholas D Nguyen* (). The adjoint action of a homotopy-associative H-space on its loop space. Preliminary report. We define the adjoint action of a homotopy associative H-space on its

            Nicholas D Nguyen* (). The adjoint action of a homotopy-associative H-space on its loop space. Preliminary report. We define the adjoint action of a homotopy associative H-space on its

            Add to Reading List

            Source URL: jointmathematicsmeetings.org

            - Date: 2013-09-12 00:47:15
              17Modalities in homotopy type theory Egbert Rijke∗ Michael Shulman∗ Bas Spitters†

              Modalities in homotopy type theory Egbert Rijke∗ Michael Shulman∗ Bas Spitters†

              Add to Reading List

              Source URL: hott-uf.github.io

              - Date: 2018-03-28 14:04:14
                18A proposition is the (homotopy) type of its proofs Steve Awodey∗ January 8, 2016 There are, at first blush, two kinds

                A proposition is the (homotopy) type of its proofs Steve Awodey∗ January 8, 2016 There are, at first blush, two kinds

                Add to Reading List

                Source URL: www.andrew.cmu.edu

                - Date: 2018-02-12 22:13:01
                  19Homotopy Type-Theoretic Interpretations of CZF Cesare Gallozzi, University of Leeds Abstract In this talk I will present two variants of Aczel’s type-theoretic interpretation of CZF expanding on what has been done on s

                  Homotopy Type-Theoretic Interpretations of CZF Cesare Gallozzi, University of Leeds Abstract In this talk I will present two variants of Aczel’s type-theoretic interpretation of CZF expanding on what has been done on s

                  Add to Reading List

                  Source URL: hott-uf.github.io

                  - Date: 2018-03-28 14:04:14
                    20A 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