Homotopy - PDFSEARCH.IO - Document Search Engine

Homotopy
Results: 1053

#	Item
251	Homotopy Type Theory Univalent Foundations of Mathematics T HE U NIVALENT F OUNDATIONS P ROGRAM I NSTITUTE FOR A DVANCED S TUDY Add to Reading List Source URL: hottheory.files.wordpress.com Language: English - Date: 2013-06-19 17:30:09
252	Non-wellfounded trees in Homotopy Type Theory∗ Benedikt Ahrens1 , Paolo Capriotti2 and R´egis Spadotti1 1 2 Add to Reading List Source URL: benedikt-ahrens.de Language: English - Date: 2015-06-03 05:24:49
253	COQHOTT    A NEW PROOF-ASSISTANT THAT REVISITS  THE THEORETICAL FOUNDATIONS OF COQ USING   HOMOTOPY TYPE THEORY  Add to Reading List Source URL: web.emn.fr Language: English - Date: 2015-05-11 05:01:14
254	Category theory and Homotopy type theory Andr´e Joyal Universit´e du Qu´ebec a ` Montr´eal (UQAM) Add to Reading List Source URL: logica.dmi.unisa.it Language: English - Date: 2015-05-15 06:13:17 Homotopy theory Algebraic topology Category theory Differential topology Homotopy type theory Type theory Fibration Homotopy Homotopical algebra Model category Homotopy fiber
255	Notes on Eliashberg’s 1989 paper, “Classification of overtwisted contact structures on 3-manifolds” Daniel Mathews March 6, 2007 Contents Add to Reading List Source URL: www.danielmathews.info Language: English - Date: 2010-04-17 22:20:14 Algebraic topology Topological spaces Homotopy theory Triangulation Topology Foliation Simplicial complex Contact geometry Simplex 3-manifold CW complex Out
256	ON THE ARITHMETIC OF ELLIPTIC CURVES AND A HOMOTOPY LIMIT PROBLEM IGOR KRIZ In this note, I study a comparison map between a Add to Reading List Source URL: www.math.lsa.umich.edu Language: English - Date: 2016-03-14 11:38:05 Algebra Abstract algebra Mathematics Cohomology theories Homological algebra Group theory Algebraic geometry Algebraic topology Motivic cohomology Cohomology tale cohomology Norm residue isomorphism theorem
257	Lawvere-Tierney Sheafification in Homotopy Type Theory Lawvere-Tierney Sheafification Add to Reading List Source URL: hott-uf.gforge.inria.fr Language: English - Date: 2015-07-02 06:06:44
258	Homotopy Type Theory Univalent Foundations of Mathematics T HE U NIVALENT F OUNDATIONS P ROGRAM I NSTITUTE FOR A DVANCED S TUDY Add to Reading List Source URL: www.heidelberg-laureate-forum.org Language: English - Date: 2014-06-05 11:45:29
259	CONVERGENCE OF THE MOTIVIC ADAMS SPECTRAL SEQUENCE P.HU, I.KRIZ, K.ORMSBY 1. Introduction In [9], we proved convergence of the motivic Adams spectral sequence Add to Reading List Source URL: www.math.lsa.umich.edu Language: English - Date: 2010-10-12 21:59:32 Homotopy theory Topology Mathematics Algebra Cohomology Adams spectral sequence Spectrum Homotopy category Fibration Homotopy group Homotopy Stable homotopy theory
260	ON KONTSEVICH’S HOCHSCHILD COHOMOLOGY CONJECTURE P. HU, I. KRIZ AND A.A. VORONOV 1. Introduction A conjecture of Deligne stated that the Hochschild cohomology complex of an Add to Reading List Source URL: www.math.lsa.umich.edu Language: English - Date: 2004-09-22 08:24:48 Homotopy theory Algebraic topology Category theory Abstract algebra Functors Highly structured ring spectrum Model category Simplicial set Koszul duality Operad theory Hochschild homology Cohomology

UPDATE