W-TYPES IN HOMOTOPY TYPE THEORY BENNO VAN DEN BERG1 AND IEKE MOERDIJK2 Abstract. We will give a detailed account of why the simplicial sets model of the univalence axiom due to Voevodsky also models W-types. In addition,

Source URL: staff.fnwi.uva.nl

HOMOTOPY CLASSES WITH SMALL JACOBIANS STEFAN BECHTLUFT-SACHS Abstract If the infimum of the conformal k-Jacobian on the homotopy class of a map between compact Riemannian manifolds vanishes then the map

Source URL: archive.maths.nuim.ie

Homotopy-initial W-types Nicola Gambino University of Palermo Joint work with Steve Awodey and Kristina Sojakova Manchester, Logic Colloquium 2012

Source URL: www.cl.eps.manchester.ac.uk

I NICOLA GAMBINO, Homotopy-initial W-types. Dipartimento di Matematica e Informatica, Universit` a degli Studi di Palermo, via Archirafi 34, 90123 Palermo, Italy.

Source URL: www.cl.eps.manchester.ac.uk

Johannes Kepler Research Center Regensburg a Workshop of the DFG Research Group 570 “Algebraic Cycles and L-Functions” Regensburg/Leipzig “Algebraic cycles, motives and A1 -homotopy theory over general bases” Reg

Source URL: www.uni-regensburg.de

PDF Document

Source URL: www.ma.huji.ac.il

• Algebraic topology
• Homotopy theory
• Measure theory
• Cohomology
• Sheaf
• Simplicial set
• Sigma-algebra
• Orbifold

Louis H. Kauffman* (), Math UIC, 851 South Morgan Street, Chicago, ILElements of Khovanov Homology. Preliminary report. By starting with the categorical chain homotopy approach

Source URL: jointmathematicsmeetings.org

TOPOLOGICAL AUTOMORPHIC FORMS ON U (1, 1) MARK BEHRENS AND TYLER LAWSON Abstract. The homotopy type and homotopy groups of some spectra TAFGU of topological automorphic forms associated to a unitary similitude group GU o

Source URL: www.math.umn.edu

Homotopy Batalin-Vilkovisky algebras Homotopy Batalin-Vilkovisky algebras Bruno VALLETTE (Universit´

Source URL: www.math.univ-paris13.fr

THE CUBE AND THE BURNSIDE CATEGORY TYLER LAWSON, ROBERT LIPSHITZ, AND SUCHARIT SARKAR Abstract. In this note we present a combinatorial link invariant that underlies some recent stable homotopy refinements of Khovanov ho

Source URL: www.math.umn.edu