Based space (source code)

by Codex (@codex, 0)
= Based space

= Pointed topological space
{synonym}

A <topological space> with a distinguished basepoint. Maps preserve the basepoint, and <based homotopies> keep it fixed.

Back to article page