1![COLLOQUIUM Martin Frankland University of Regina An invitation to motivic homotopy theory COLLOQUIUM Martin Frankland University of Regina An invitation to motivic homotopy theory](https://www.pdfsearch.io/img/2f51cc3e1da5a4f4e58fb727bef0e3e3.jpg) | Add to Reading ListSource URL: www.uregina.ca- Date: 2018-09-17 16:41:16
|
---|
2![Publication list Paul Arne Østvær • Slices and the first stable homotopy groups of motivic spheres. In preparation. Joint with O. R¨ondigs and M. Spitzweck. • A1 -contractibility of Koras-Russell threefolds. Submi Publication list Paul Arne Østvær • Slices and the first stable homotopy groups of motivic spheres. In preparation. Joint with O. R¨ondigs and M. Spitzweck. • A1 -contractibility of Koras-Russell threefolds. Submi](https://www.pdfsearch.io/img/37fba9318917e4af4f8b4afe56169a23.jpg) | Add to Reading ListSource URL: www.mn.uio.noLanguage: English |
---|
3![HOMOTOPY COHERENT STRUCTURES EMILY RIEHL Abstract. Naturally occurring diagrams in algebraic topology are commutative up to homotopy, but not on the nose. It was quickly realized that very little can be done with this in HOMOTOPY COHERENT STRUCTURES EMILY RIEHL Abstract. Naturally occurring diagrams in algebraic topology are commutative up to homotopy, but not on the nose. It was quickly realized that very little can be done with this in](https://www.pdfsearch.io/img/6f44ca6d5a4961621b20df43d0232859.jpg) | Add to Reading ListSource URL: www.math.jhu.eduLanguage: English - Date: 2017-07-14 13:10:04
|
---|
4![HOMOTOPY CLASSES OF HARMONIC MAPS OF THE STRATIFIED 2-SPHERES AND APPLICATIONS TO GEOMETRIC FLOWS JINGYI CHEN AND YUXIANG LI Abstract. We show that the set of harmonic maps from the 2-dimensional stratified spheres with HOMOTOPY CLASSES OF HARMONIC MAPS OF THE STRATIFIED 2-SPHERES AND APPLICATIONS TO GEOMETRIC FLOWS JINGYI CHEN AND YUXIANG LI Abstract. We show that the set of harmonic maps from the 2-dimensional stratified spheres with](https://www.pdfsearch.io/img/77b06c7c5532bc9d5066f52103c05cfa.jpg) | Add to Reading ListSource URL: faculty.math.tsinghua.edu.cnLanguage: English |
---|
5![RECIPROCITY SHEAVES BRUNO KAHN, SHUJI SAITO, AND TAKAO YAMAZAKI ¨ WITH TWO APPENDICES BY KAY RULLING Abstract. We start developing a notion of reciprocity sheaves, generalizing Voevodsky’s homotopy invariant presheave RECIPROCITY SHEAVES BRUNO KAHN, SHUJI SAITO, AND TAKAO YAMAZAKI ¨ WITH TWO APPENDICES BY KAY RULLING Abstract. We start developing a notion of reciprocity sheaves, generalizing Voevodsky’s homotopy invariant presheave](https://www.pdfsearch.io/img/cbc20e98343ec045d8260959e993b4f4.jpg) | Add to Reading ListSource URL: www.lcv.ne.jpLanguage: English - Date: 2016-03-19 07:45:04
|
---|
6![Homology, Homotopy and Applications, vol. 17(1), 2015, pp.1–33 COMPLETENESS RESULTS FOR QUASI-CATEGORIES OF ALGEBRAS, HOMOTOPY LIMITS, AND RELATED GENERAL CONSTRUCTIONS EMILY RIEHL and DOMINIC VERITY Homology, Homotopy and Applications, vol. 17(1), 2015, pp.1–33 COMPLETENESS RESULTS FOR QUASI-CATEGORIES OF ALGEBRAS, HOMOTOPY LIMITS, AND RELATED GENERAL CONSTRUCTIONS EMILY RIEHL and DOMINIC VERITY](https://www.pdfsearch.io/img/22af9a3daa2582fda3208020474f3b9f.jpg) | Add to Reading ListSource URL: www.math.jhu.eduLanguage: English - Date: 2015-08-04 16:56:00
|
---|
7![Aspects of univalence Nicola Gambino School of Mathematics, University of Leeds Homotopy Type Theory and Univalent Foundations DMV 2015 Aspects of univalence Nicola Gambino School of Mathematics, University of Leeds Homotopy Type Theory and Univalent Foundations DMV 2015](https://www.pdfsearch.io/img/7658ce25b4fcb767872e6f50899ae479.jpg) | Add to Reading ListSource URL: www1.maths.leeds.ac.ukLanguage: English - Date: 2015-09-28 09:04:32
|
---|
8![Homotopy Type Theory in Lean Floris van Doorn Department of Philosophy Carnegie Mellon University http://leanprover.github.io Homotopy Type Theory in Lean Floris van Doorn Department of Philosophy Carnegie Mellon University http://leanprover.github.io](https://www.pdfsearch.io/img/86aba39cc075790a1d19cf66ca7422b5.jpg) | Add to Reading ListSource URL: hott-uf.gforge.inria.frLanguage: English - Date: 2016-06-29 06:24:43
|
---|
9![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 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](https://www.pdfsearch.io/img/a32a0e410dd35e0d80a75d44c11daad8.jpg) | Add to Reading ListSource URL: hott-uf.github.ioLanguage: English - Date: 2018-08-13 11:55:33
|
---|
10![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 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](https://www.pdfsearch.io/img/0eb1b16e6bf5385fd9c71427059425d1.jpg) | Add to Reading ListSource URL: hott-uf.gforge.inria.frLanguage: English - Date: 2016-03-10 17:41:39
|
---|