Further update

Completed the part about homotopy colimits.

Still to do:
* mapping spaces;
* Bousfield localization.