Diagrams over Trisps

Definition 15.1. The following data constitute what is called a diagram of topological spaces T> over a trisp A ... 

There is also another diagram associated to a continuous map f X Y between topological spaces. This one is over a trisp with three vertices a, b,... 

Definition 15.3. Let T> be a diagram of topological spaces over a trisp A. A colimit ofV is the quotient space colim D = where the... 

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. 

---