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