Homotopy

Results: 1053



#Item
21Homotopy Type-Theoretic Interpretations of CZF Cesare Gallozzi School of Mathematics University of Leeds HoTT/UF Workshop

Homotopy Type-Theoretic Interpretations of CZF Cesare Gallozzi School of Mathematics University of Leeds HoTT/UF Workshop

Add to Reading List

Source URL: hott-uf.github.io

- Date: 2018-03-28 14:04:14
    22MODEL 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
      23A 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
        24UNFOLDING 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
          25List 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
            26MODULAR SYMBOLS AND THE TOPOLOGICAL NONRIGIDITY OF ARITHMETIC MANIFOLDS STANLEY CHANG, SHMUEL WEINBERGER Abstract. In this paper we address the existence of smooth manifolds proper homotopy equivalent to nonuniform arith

            MODULAR SYMBOLS AND THE TOPOLOGICAL NONRIGIDITY OF ARITHMETIC MANIFOLDS STANLEY CHANG, SHMUEL WEINBERGER Abstract. In this paper we address the existence of smooth manifolds proper homotopy equivalent to nonuniform arith

            Add to Reading List

            Source URL: math.uchicago.edu

            - Date: 2013-07-05 00:33:19
              27THE HOMOTOPY GROUPS OF tmf AND OF ITS LOCALIZATIONS ´ HENRIQUES ANDRE In this survey, I present a compilation of the homotopy groups of tmf and of its various localizations. This work was an exercise in collecting the d

              THE HOMOTOPY GROUPS OF tmf AND OF ITS LOCALIZATIONS ´ HENRIQUES ANDRE In this survey, I present a compilation of the homotopy groups of tmf and of its various localizations. This work was an exercise in collecting the d

              Add to Reading List

              Source URL: math.mit.edu

              - Date: 2013-01-11 11:27:05
                28AN INFINITE-DIMENSIONAL PHENOMENON IN FINITE-DIMENSIONAL METRIC TOPOLOGY ALEXANDER N. DRANISHNIKOV, STEVEN C. FERRY, AND SHMUEL WEINBERGER Abstract. We show that there are homotopy equivalences h : N → M between closed

                AN INFINITE-DIMENSIONAL PHENOMENON IN FINITE-DIMENSIONAL METRIC TOPOLOGY ALEXANDER N. DRANISHNIKOV, STEVEN C. FERRY, AND SHMUEL WEINBERGER Abstract. We show that there are homotopy equivalences h : N → M between closed

                Add to Reading List

                Source URL: math.uchicago.edu

                - Date: 2016-05-16 22:08:11
                  29ELLIPTIC 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
                    30FAST LINEAR HOMOTOPY TO FIND APPROXIMATE ZEROS OF POLYNOMIAL SYSTEMS ´ AND LUIS MIGUEL PARDO CARLOS BELTRAN Abstract. We prove a new complexity bound, polynomial on the average,

                    FAST LINEAR HOMOTOPY TO FIND APPROXIMATE ZEROS OF POLYNOMIAL SYSTEMS ´ AND LUIS MIGUEL PARDO CARLOS BELTRAN Abstract. We prove a new complexity bound, polynomial on the average,

                    Add to Reading List

                    Source URL: personales.unican.es

                    - Date: 2011-06-09 07:24:52