sec-online-udl

9.3 Prefix semantics, nerves, homotopy coherence, and repair