Tagged Questions

3
votes
0answers
148 views

Fibre and homotopy fibre

$p:E \rightarrow B$ is a fibration and $F$ is its fibre and $F_p$ its homotopy fibre. If $i:F \rightarrow F_p$ is the inclusion, is there a homotopy inverse $r$ of $i$ such that $r \circ i = id$?
1
vote
2answers
98 views

Does $\Omega$ functor preserve fibration?

If $p:E \rightarrow B$ is a fibration, is it necessarily that $\Omega p:\Omega E \rightarrow \Omega B$ a fibration? (where $\Omega E$ is the loopspace of $E$ and so is $\Omega B$)
3
votes
2answers
149 views

Kan fibrations and surjectivity

I have a basic question on the usual model structure on simplicial sets. What is the relation between being a Kan (trivial maybe ?) fibration and surjectivity ? Surjectivity here means either ...
5
votes
3answers
506 views

Showing that the loopspace $\Omega S^{\infty}$ is homotopic to $S^{\infty}$.

Showing that the infinite dimensional sphere $S^{\infty}$ is contractible is rather easy by constructing an explicit contraction (Hatcher gives a nice one). I thought it might be a nice exercise to ...
1
vote
1answer
66 views

Composition of fibrations

Suppose that $p:E \to B$ and $q:B \to B'$ are fibrations. Is it true that $qp:E \to B'$ is a fibration? I thought this might just be 'abstract-nonsense'. There is a diagram (possibly ...