Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I am reading the article on Hurewicz connection
Theorem. A map $\pi:E \to B$ is a Hurewicz fibration iff there exists at least one Hurewicz connection for $\pi_!$.
I have two questions:
(1) How to formally construct the Hurewicz connection for $\pi_!$ ?
(2). It has scratched an idea of proof. May I know if anyone can reference a completed formal proof to me. (a paper or an article will be great !).
Initial post for how to construct Hurewucz connection ?
1 to 2 of 2