Definition and Some Examples

Definition 15.8. The homotopy coiimit, denoted hocolimP, of a diagram P of topological spaces over a trisp A, is the quotient space 

Example 15.9. Let us see a few examples of homotopy colimits involving some of the diagrams that have previously appeared in the text. 

---

Averages and distributions are well treated in many textbooks [10-17]. The aim here is to summarize the basic principles, essential definitions, and some examples of applications. 

Local Data Model Definition. Based on our experience in the domain, the W3C standard of RDF(S) and OWL languages are sufficient to define local data models. For a more detailed explanation of data model definition and some examples of engineering ontologies, we refer readers to Chap. 5. 

---