15 points | by frostbyte7 5 hours ago ago
2 comments
Very interesting!!
A nitpick, for a J-shaped diagram D, J is the "index category" or the "scheme" of D, not the "shape" like written in the article.
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."
Very interesting!!
A nitpick, for a J-shaped diagram D, J is the "index category" or the "scheme" of D, not the "shape" like written in the article.
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."