HOMOTOPY LIMITS IN TYPE THEORY JEREMY AVIGAD, KRZYSZTOF KAPULKIN, AND PETER LEFANU LUMSDAINE Abstract. Working in homotopy type theory, we provide a systematic study of homotopy limits of diagrams over graphs, formalized

Source URL: peterlefanulumsdaine.com

How much does it cost to evert the sphere? Tristan Rivière (ETH Zürich) How much does it cost...to knot a closed simple curve ? To cover the sphere twice ? to realize such or such homotopy class ? ...etc. All these que

Source URL: www.7ecm.de

• Differential geometry
• Surfaces
• Differential topology
• Geometric flow
• Willmore energy
• Topology
• Homotopy
• Eversion
• Sphere

Introduction to Stable homotopy theory ­­ S in nLab   Introduction to Stable homotopy theory ­­ S

Source URL: dl.dropboxusercontent.com

Non-wellfounded trees in Homotopy Type Theory Benedikt Ahrens 1 Institut 1

Source URL: benedikt-ahrens.de

High-Dimensional Winding-Augmented Motion Planning with 2D Topological Task Projections and Persistent Homology Florian T. Pokorny, Danica Kragic, Lydia E. Kavraki, Ken Goldberg Abstract— Recent progress in motion plan

Source URL: goldberg.berkeley.edu

• Topology
• Mathematics
• Homotopy theory
• Algebraic topology
• Fundamental group
• Homotopy
• Cohomology
• Topological space
• Winding number
• Homology
• Retract
• Covering space

A very short note on homotopy λ-calculus Vladimir Voevodsky September 27, 2006, October 10, 2009 The homotopy λ-calculus is a hypothetical (at the moment) type system. To some extent one may say that Hλ is an attempt

Source URL: www.math.ias.edu

Cooking up Character Varieties Examples How do they taste anyway? Serving the “Main Course”... Homotopy groups of character varieties

Source URL: cmup.fc.up.pt

INTRODUCTORY BUMPONOMICS: THE TOPOLOGY OF DEFORMATION SPACES OF HYPERBOLIC 3-MANIFOLDS RICHARD D. CANARY Abstract. We survey work on the topology of the space AH(M ) of all (marked) hyperbolic 3-manifolds homotopy equiva

Source URL: www.math.lsa.umich.edu

1 A Simple Users Guide of the code APOh For the detailed mathematical formulas, please refer to Chapter 13 of the book: Liao, S.J., Homotopy Analysis Method in Nonlinear Differential Equations. Springer (2011).

Source URL: numericaltank.sjtu.edu.cn

Homotopy Type Theory Univalent Foundations of Mathematics T HE U NIVALENT F OUNDATIONS P ROGRAM I NSTITUTE FOR A DVANCED S TUDY

Source URL: hottheory.files.wordpress.com