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.

Estimated changes