A list of definitions, general formulas and types of examples is at nLab: homotopy limit.
In particular there is a whole subsection on homotopy pullbacks.
Closely related material (further examples, if you wish) is at fibration sequence.
Urs Schreiber
- 19.8k
- 1
- 74
- 269