Lifting characterization of an acyclic chain-complex fibration
= Lifting characterization of an acyclic chain-complex fibration
{title2=$dz=x,\quad f(z)=y\quad\text{when }f(x)=dy$}
The <right lifting property> for each sphere-to-disk map fills a prescribed cycle and a compatible target element. The degree-zero generator supplies initial surjectivity; all other fillers force an acyclic kernel and the remaining degreewise surjections.