Homotopy - PDFSEARCH.IO - Document Search Engine

Homotopy
Results: 1053

#	Item
311	Introduction Homotopy Type Theory The idea of HITs The fundamental group of the circle Computing transportations Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2013-05-15 03:20:54
312	Michael Shulman University of San Diego Homotopy type theory: towards Grothendieck’s dream Several decades ago, Grothendieck proposed that “∞-groupoids” could replace topological spaces as a context for homotopy Add to Reading List Source URL: web.science.mq.edu.au Language: English - Date: 2013-06-21 05:36:37
313	A Model of Type Theory in Simplicial Sets A brief introduction to Voevodsky’s Homotopy Type Theory T. Streicher Fachbereich 4 Mathematik, TU Darmstadt Schlossgartenstr. 7, DDarmstadt Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2011-11-12 04:58:44
314	Modeling set theory in homotopy type theory Jérémy Ledent Supervised by Bas Spitters & Freek Wiedijk Radboud University of Nijmegen, Netherlands May 19 to August 08, 2014 Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2015-04-28 15:21:22
315	A topological manifold is homotopy equivalent to some CW-complex Aasa Feragen Supervisor: Erik Elfving December 17, 2004 Add to Reading List Source URL: image.diku.dk Language: English - Date: 2010-01-18 03:34:54
316	A fast homotopy algorithm for a large class of weighted classification problems Pierre Gutierrez1,2 , Guillem Rigaill1 , Julien Chiquet2 , {pgutierrez,julien.chiquet}@genopole.cnrs.fr, 1 Add to Reading List Source URL: ai.stanford.edu Language: English - Date: 2013-12-07 22:45:24
317	Michael Batanin Macquarie University Homotopy theory of algebras of polynomial monads We study the existence and left properness of transferred model structures for “monoid-like” objects in monoidal model categories. Add to Reading List Source URL: web.science.mq.edu.au Language: English - Date: 2013-06-21 05:36:14
318	How analysis and topology interact in bivariant K-theory Ralf Meyer VASBI ICM Satellite Conference on K-theory and Noncommutative Geometry Add to Reading List Source URL: mate.dm.uba.ar Language: English - Date: 2006-09-11 06:47:49 Homotopy theory Homological algebra Fiber bundles K-theory Assembly map Homotopy Universal bundle Equivalence of categories Derived category Abstract algebra Topology Algebraic topology
319	Mathemataeal Notes, Vol. 58, No. 6, 1995 A Test for Compactness Add to Reading List Source URL: www.i.gelbukh.com Language: English - Date: 2014-12-22 19:46:59 Algebraic topology Differential topology Homotopy theory Foliation Diffeomorphism Torus Presentation of a group Fiber bundle Frobenius theorem Abstract algebra Topology Mathematics
320	A Cubical Approach to Synthetic Homotopy Theory Daniel R. Licata Guillaume Brunerie Wesleyan University Add to Reading List Source URL: dlicata.web.wesleyan.edu Language: English - Date: 2015-05-19 09:38:12 Homotopy theory Nonassociative algebra Homotopy group Quasigroup Covering space Constructible universe Abstract algebra Topology Mathematics

UPDATE