Kerodon – an online resource for homotopy-coherent mathematics (kerodon.net)

Thank you! I got interested in infinity categories and groupoids after watching interviews with Jonathan Gorard (he and Wolfram have physics theory based on that)