Homotopy

Results: 1053



#Item
31Quantitative algebraic topology and Lipschitz homotopy Steven Ferry ∗ , and Shmuel Weinberger † ∗ Rutgers University, Piscataway, NJ 08854, USA, and † University of Chicago, Chicago, IL 60737, USA

Quantitative algebraic topology and Lipschitz homotopy Steven Ferry ∗ , and Shmuel Weinberger † ∗ Rutgers University, Piscataway, NJ 08854, USA, and † University of Chicago, Chicago, IL 60737, USA

Add to Reading List

Source URL: math.uchicago.edu

- Date: 2013-01-15 18:35:20
    32Homotopy Type Theory in Lean Floris van Doorn Department of Philosophy Carnegie Mellon University leanprover.github.io

    Homotopy Type Theory in Lean Floris van Doorn Department of Philosophy Carnegie Mellon University leanprover.github.io

    Add to Reading List

    Source URL: www.math.ias.edu

    - Date: 2016-07-28 14:38:46
      33301 Documenta Math. Euler Characteristics of Categories and Homotopy Colimits

      301 Documenta Math. Euler Characteristics of Categories and Homotopy Colimits

      Add to Reading List

      Source URL: documenta.sagemath.org

      - Date: 2011-05-03 12:08:26
        34LECTURES ON EQUIVARIANT STABLE HOMOTOPY THEORY STEFAN SCHWEDE Contents 1. Orthogonal spectra 2. Equivariant orthogonal spectra

        LECTURES ON EQUIVARIANT STABLE HOMOTOPY THEORY STEFAN SCHWEDE Contents 1. Orthogonal spectra 2. Equivariant orthogonal spectra

        Add to Reading List

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

        - Date: 2016-06-26 09:50:01
          35Homotopy techniques for multiplication modulo triangular sets Alin Bostan Algorithms Project, INRIA Rocquencourt, 78153 Le Chesnay Cedex, France Muhammad Chowdhury

          Homotopy techniques for multiplication modulo triangular sets Alin Bostan Algorithms Project, INRIA Rocquencourt, 78153 Le Chesnay Cedex, France Muhammad Chowdhury

          Add to Reading List

          Source URL: www.csd.uwo.ca

          - Date: 2010-08-24 13:12:34
            36Math. 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
              37613 Documenta Math. Strongly Homotopy-Commutative Monoids Revisited

              613 Documenta Math. Strongly Homotopy-Commutative Monoids Revisited

              Add to Reading List

              Source URL: documenta.sagemath.org

              - Date: 2001-01-17 12:28:01
                38Topology}41 Stable homotopy of algebraic theories Stefan Schwede Fakulta( t fu( r Mathematik, Universita( t Bielefeld, 33615 Bielefeld, Germany Received 1 December 1997; received in revised form 25 October 1

                Topology}41 Stable homotopy of algebraic theories Stefan Schwede Fakulta( t fu( r Mathematik, Universita( t Bielefeld, 33615 Bielefeld, Germany Received 1 December 1997; received in revised form 25 October 1

                Add to Reading List

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

                - Date: 2003-11-07 09:15:53
                  39507 Documenta Math. Locally Well Generated Homotopy Categories of Complexes

                  507 Documenta Math. Locally Well Generated Homotopy Categories of Complexes

                  Add to Reading List

                  Source URL: documenta.sagemath.org

                  - Date: 2010-06-01 06:22:45
                    40585 Documenta Math. Profinite Homotopy Theory Gereon Quick

                    585 Documenta Math. Profinite Homotopy Theory Gereon Quick

                    Add to Reading List

                    Source URL: documenta.sagemath.org

                    - Date: 2008-12-14 05:37:23