Metamath Proof Explorer


Table of Contents - 20.33.5. Exploring Higher Homotopy via Kerodon

See https://kerodon.net/ for a work in progress by Jacob Lurie.

  1. Simplicial Sets
    1. k0004lem1
    2. k0004lem2
    3. k0004lem3
    4. k0004val
    5. k0004ss1
    6. k0004ss2
    7. k0004ss3
    8. k0004val0