1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Hugo Herbelin, Ramkumar Ramachandra
Semi-simplicial and semi-cubical sets are commonly defined as presheaves over respectively, the semi-simplex or semi-cube category. Homotopy Type Theory then popularized an alterna…