Structural Maps Associated to Homotopy Colimits

Let us now enrich the set of diagrams by introducing appropriate structurepreserving maps. 

We remark that for a fixed trisp A, the diagrams of objects of any fixed category over A, together with diagram maps form a category. 

Let us see what these maps are for the diagrams of spaces considered in Examples 15.9. 

---