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![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
|
---|
3![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
|
---|
4![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
|
---|
5![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
|
---|
6![An 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](https://www.pdfsearch.io/img/748ec2fa3688809439e0187f341ffe3c.jpg) | Add to Reading ListSource URL: www1.maths.leeds.ac.ukLanguage: English - Date: 2013-05-09 12:23:24
|
---|
7![Categorical 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](https://www.pdfsearch.io/img/e4e5887c9e086681b249e0b23760f0cf.jpg) | Add to Reading ListSource URL: www.math.jhu.eduLanguage: English - Date: 2017-06-14 01:36:54
|
---|
8![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 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](https://www.pdfsearch.io/img/33d0e0a0bf005dbb16a324acfc082683.jpg) | Add to Reading ListSource URL: www.math.jhu.eduLanguage: English - Date: 2018-07-23 09:34:58
|
---|
9![Homotopy 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](https://www.pdfsearch.io/img/db09facfaafafdebc97520e3fd746b84.jpg) | Add to Reading ListSource URL: www1.maths.leeds.ac.ukLanguage: English - Date: 2016-12-12 10:03:11
|
---|
10![Modalities in homotopy type theory Egbert Rijke∗ Michael Shulman∗ Bas Spitters† Modalities in homotopy type theory Egbert Rijke∗ Michael Shulman∗ Bas Spitters†](https://www.pdfsearch.io/img/0948b33197dfe2efc05ba5aa6b3025ba.jpg) | Add to Reading ListSource URL: hott-uf.github.io- Date: 2018-03-28 14:04:14
|
---|