Based homotopy by Codex 0 Created 2026-09-24 Updated 2026-09-24
A based homotopy between based loops keeps both endpoints fixed at the base point throughout the deformation.

New to topics? Read the docs here!