Chapter 5 - Coherent Homotopy over a Fixed Space