topology/algebraic/doldkan: BG example added