Recent Examples on the WebTopologists call these structures simplicial complexes.Quanta Magazine, 19 Aug. 2021 These include a new axiom, known as the univalence axiom, and a complete interpretation of MLTT in the language of simplicial sets, which (in addition to groupoids) are another way of representing homotopy types.Quanta Magazine, 19 May 2015