W. Stephen Wilson Education: S.B., M.I.T. (MathS.M., M.I.T. (MathPh.D., M.I.T. (MathField: Algebraic Topology: Homotopy Theory: Complex Cobordism: Brown-Peterson

First Page		Document Content
Date: 2016-06-04 08:09:41 Algebraic topology Homotopy theory Douglas Ravenel Cohomology theories Michael Boardman Cohomology Morava K-theory Goro Nishida Adams spectral sequence W. Stephen Wilson Spectrum Complex cobordism		W. Stephen Wilson Education: S.B., M.I.T. (MathS.M., M.I.T. (MathPh.D., M.I.T. (MathField: Algebraic Topology: Homotopy Theory: Complex Cobordism: Brown-Peterson Add to Reading List Source URL: www.math.jhu.edu Download Document from Source Website File Size: 231,98 KB Share Document on Facebook

	COLLOQUIUM Martin Frankland University of Regina An invitation to motivic homotopy theory DocID: 1xUV4 - View Document
	Aspects of univalence Nicola Gambino School of Mathematics, University of Leeds Homotopy Type Theory and Univalent Foundations DMV 2015 DocID: 1uLwU - View Document
	Homotopy Type Theory in Lean Floris van Doorn Department of Philosophy Carnegie Mellon University http://leanprover.github.io DocID: 1uHY0 - View Document
	Lifting Problems in a Grothendieck Fibration Andrew Swan July 21, 2017 The notion of lifting problem is a central concept in homotopical algebra, as well as in the semantics of homotopy type theory. Given two maps m : U DocID: 1um1h - View Document
	Towards a Directed HoTT with Four Kinds of Variance Andreas Nuyts, Jesper Cockx, Dominique Devriese and Frank Piessens May 15, 2015 Homotopy type theory (HoTT) offers a constructive way of working with ∞-groupoids. Whe DocID: 1ukrV - View Document