Infinity Groupoid

Concept

A concept from higher category theory by Grothendieck, which Rulial space is more analogous to.

Mentioned in 2 videos