Commit 2024-01-15 16:06 d8dff07d
View on Github →feat(AlgebraicTopology): generalize universes for the standard simplex (#9631)
The PR generalizes universes for standardSimplex
, which is now a functor SimplexCategory ⥤ SSet.{u}
for any universe u
.