topology/algebraic: preamble, enriched categories draft