Homotopy theory - PDFSEARCH.IO - Document Search Engine

Homotopy theory
Results: 956

#	Item
1	COLLOQUIUM Martin Frankland University of Regina An invitation to motivic homotopy theory Add to Reading List Source 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 Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: 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 Add to Reading List Source URL: hott-uf.gforge.inria.fr Language: 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 Add to Reading List Source URL: hott-uf.github.io Language: 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 Add to Reading List Source URL: hott-uf.gforge.inria.fr Language: English - Date: 2016-03-10 17:41:39
6	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
7	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
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 Add to Reading List Source URL: www.math.jhu.edu Language: 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 Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2016-12-12 10:03:11
10	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