Remix.run Logo
▲ JadeNB 2 hours ago

The article does mention "index[ing] category." I think terminology here is not especially universal: I am a mathematician but not a category theorist, and I have seen "shape" but not "scheme."