Algebraic models for rational equivariant stable homotopy theory (joint work with John Greenlees) Conjecture.(Greenlees) For any compact Lie group G there is an abelian category A(G) such that

First Page		Document Content
Date: 2010-06-25 16:26:28 Algebra Abstract algebra Mathematics Category theory Homological algebra Homotopy theory Algebraic topology Cohomology theories Pullback Adjoint functors Model category Equivalence of categories		Algebraic models for rational equivariant stable homotopy theory (joint work with John Greenlees) Conjecture.(Greenlees) For any compact Lie group G there is an abelian category A(G) such that Add to Reading List Source URL: www.math.uni-bonn.de Download Document from Source Website File Size: 127,28 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