Check out my answer to https://math.stackexchange.com/questions/706093/ which explains something about Moore paths; concatenation of these gives a category, i.e. is strictly associative with strict identities. The general setting for homotopy classes rel end points of paths is that of groupoids.
2 of 2
replaced http://math.stackexchange.com/ with https://math.stackexchange.com/
Community Bot
- 1
- 2
- 3
Ronnie Brown
- 12.3k
- 1
- 63
- 81