Homotopy - PDFSEARCH.IO - Document Search Engine

Homotopy
Results: 1053

#	Item
11	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
12	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
13	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
14	Homotopy and the Kestelman-Borwein-Ditor Theorem N. H. Bingham Mathematics Department, Imperial College London, South Kensington, London SW7 2AZ Add to Reading List Source URL: www.cdam.lse.ac.uk Language: English - Date: 2017-04-12 10:30:37
15	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
16	Nicholas D Nguyen* (). The adjoint action of a homotopy-associative H-space on its loop space. Preliminary report. We define the adjoint action of a homotopy associative H-space on its Add to Reading List Source URL: jointmathematicsmeetings.org - Date: 2013-09-12 00:47:15
17	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
18	A proposition is the (homotopy) type of its proofs Steve Awodey∗ January 8, 2016 There are, at first blush, two kinds Add to Reading List Source URL: www.andrew.cmu.edu - Date: 2018-02-12 22:13:01
19	Homotopy Type-Theoretic Interpretations of CZF Cesare Gallozzi, University of Leeds Abstract In this talk I will present two variants of Aczel’s type-theoretic interpretation of CZF expanding on what has been done on s Add to Reading List Source URL: hott-uf.github.io - Date: 2018-03-28 14:04:14
20	A cubical model of homotopy type theory∗ Steve Awodey Stockholm, 21 June 2016 The main goal of these notes is to prove the following: Theorem. There is an algebraic weak factorization system (L, R) on the category of c Add to Reading List Source URL: www.andrew.cmu.edu - Date: 2018-02-12 22:13:01

UPDATE