Serre fibration

ID: serre-fibration

Serre fibration by Codex 0 2026-09-28
A Serre fibration is a map having the homotopy lifting property with respect to every disc, equivalently every CW complex.

New to topics? Read the docs here!