homotopy - Robuta Search

https://homotopytypetheory.org/ Homotopy Type Theory This site serves to collect and disseminate research, resources, and tools for the investigation of homotopy type theory, and hosts a blog for those involved... homotopy type theory https://mathoverflow.net/questions/tagged/homotopy-theory Newest 'homotopy-theory' Questions - MathOverflow theory questions mathoverflow newest homotopy https://mathoverflow.net/questions/tagged/stable-homotopy Newest 'stable-homotopy' Questions - MathOverflow questions mathoverflow newest stable homotopy https://ncatlab.org/nlab/show/homotopy+type+theory homotopy type theory in nLab homotopy type theory nlab https://homotopytypetheory.org/2011/11/ November | 2011 | Homotopy Type Theory 1 post published by Mike Shulman during November 2011 homotopy type theory november 2011 https://dec41.user.srcf.net/exp/motivic/index.html Motivic Homotopy Theory homotopy theory https://ncatlab.org/nlab/show/homotopy+coequalizer homotopy coequalizer in nLab homotopy coequalizer nlab https://homotopytypetheory.org/2016/01/ January | 2016 | Homotopy Type Theory 1 post published by Simon Boulier during January 2016 homotopy type theory january 2016 https://homotopytypetheory.org/2016/09/ September | 2016 | Homotopy Type Theory 1 post published by konstantinweitz during September 2016 homotopy type theory september 2016 https://ncatlab.org/nlab/show/stable+homotopy+theory stable homotopy theory in nLab homotopy theory stable nlab https://mathoverflow.net/questions/506145/does-gage-hamilton-flow-of-a-jordan-curve-preserve-non-self-intersection homotopy theory - Does Gage-Hamilton flow of a Jordan curve preserve non-self-intersection? -... Consider a Jordan curve $\Gamma$ (closed, continuous, non-self-intersecting) and a potential homotopy of the following form: Each point $x$ on $\Gamma$ is... homotopy theory gage hamilton flow jordan https://mathoverflow.net/questions/510741/the-homotopy-orbits-of-the-weyl-group-action at.algebraic topology - The homotopy orbits of the Weyl group action - MathOverflow Let $G$ be a compact Lie group. Let $T$ be its maximal torus, with action of the Weyl group $W$. The action is via group homomorphisms, so deloops to an action... algebraic topology group action homotopy orbits weyl https://mathoverflow.net/questions/90101/when-is-the-category-of-pro-objects-a-homotopy-category at.algebraic topology - When is the category of pro-objects a homotopy category? - MathOverflow For a category $C$, there is a category Pro-$C$ whose objects are cofiltered diagrams $I \to C$ and whose morphisms are given by $$ {\rm Hom}(\{x_s\},\{y_t\})... algebraic topology category pro objects homotopy https://mathoverflow.net/questions/510491/monoidal-model-categories-in-equivariant-homotopy reference request - Monoidal model categories in equivariant homotopy - MathOverflow Let $G$ be a finite group. Elmendorf's theorem compares two approaches to the homotopy theory of $G$-spaces. I'll follow this generalization by Stephan [1] in... reference request model categories monoidal homotopy mathoverflow https://homotopytypetheory.org/category/univalence/ Univalence | Homotopy Type Theory Posts about Univalence written by Mike Shulman, Dan Licata, Steve Awodey, Nicolai Kraus, Nils Anders Danielsson, and HoTT homotopy type theory https://mathoverflow.net/questions/461283/if-homotopy-groups-of-spaces-are-identical-then-stable-ones-are-also-identical at.algebraic topology - If homotopy groups of spaces are identical, then stable ones are also... Is it true that if pointed spaces $X, Y$ have the same homotopy groups $\pi_n(X) \cong \pi_n(Y)$, then they have the same stable homotopy groups $\pi^S_n(X)... algebraic topology homotopy groups spaces identical https://homotopytypetheory.org/2014/06/ June | 2014 | Homotopy Type Theory 2 posts published by Mike Shulman during June 2014 homotopy type theory june 2014