Let $M$ be a (discrete) monoid acting on a space $X.$ We may take the quotient of $X,$ by this action, $X/M$ that is the coequalizer of the action map $M \times X \to X$ against th …

What is $\pi_{31}(S^2)$, the 31th homotopy group of the 2 - sphere ? This question has a physics motivation: 1) There are relations between (2nd and 3rd) Hopf fibrations and (2 …

Cobordism genera can often be refined to $E_\infty$-orientations in the sense of Ando-Blumberg-Gepner-Hopkins-Rezk: 1) the mod 2 Euler characteristic $MO\to H\mathbb{F}_2$; 2) th …

Suppose that $$F:\mathcal{D} \to \mathcal{C}$$ is a Grothendieck fibration of small categories, whose fibers are groupoids. Is there anything sensible which can be said about the i …

Hi: When I read the book "An introduction to Homological algebra" by Weibel, the page 206, line 9 says that "Shapiro's Lemma tell us that $H_q(S_n(X)\otimes_{Z}A)$ is zero if $ …

I know $\pi_4(S^2)$ is $\mathbb{Z}_2$. However, I don't know how to visualize it. For example, it is well known that $\pi_3(S^2)=\mathbb{Z}$ can be understood by Hopf Fibration. El …

I'm transcribing parts of Harm van der Lek's thesis 'The homotopy type of complex hyperplane complements' and due to it being written in 1983 the typesetting isn't very detailed. I …

In the paper "Homotopy Lie algebras", Schechtman and Hinich proved that any cosimplicial differential graded Lie algebra has the structure of a 'Lie May algebra'. If my understan …

I was thinking about the definition of higher homotopy groups $\pi_n$ of a topological space in comparison to the common extremely formal fundamental groupoid construction of $\pi_ …

Let $F \rightarrow E \rightarrow B$ be a (Serre) fibration of topological spaces. Given a map $F' \rightarrow F$, is there a criterion for the existence or even an explicit constru …

Given a pointed space X, let $J(X)$ denote its James construction. There is a natural inclusion $X\rightarrow J(X)$ which can equivalently be described as the unit map $\eta_X:X\ri …

This is definitely not a research level question. I believe this is "common sense" among homotopists, however after "extensive" googling for 2 days I could not find a proof of it o …

Clarification: My question concerns the homotopy type of the space of $C^k$ diffeomorphisms with the compact-open $C^k$ topology, where $0< k \leq\infty$. I have stated my quest …

In Physics one often encounters maps from a certain manifold $M$ to a Lie group $G$. For example, in gauge theories, this gives a gauge transformation, wich is a symmetry of a theo …

Suppose we have some pointed connected topological space $X$. How can we determine if there exists a space $BX$, called delooping of $X$, such that its space of based loops $\Omega …