Lifting characterization of an acyclic chain-complex fibration

ID: lifting-characterization-of-an-acyclic-chain-complex-fibration

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.

New to topics? Read the docs here!