Tag Archives: infinitary operation

Homotopically Reduced Paths (Part II)

Understanding this post requires reading Part I where I explain what reduced paths are and how we might go about proving they exist. In this second part, I’ll go into detail about how to use Zorn’s lemma to identifying a … Continue reading

Posted in Fundamental groupoid, reduced paths | Tagged , , , , , , , | 1 Comment