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.
henearkr•2m ago
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.