Further update

What's new:
* revised the examples and made them coherent;
* rearranged the position of several topics;
* begun the rewriting of the homotopy (co)limits part.