[000R] 識別子

本書ではすべての章や定理などに一意で恒久的な識別子が割り当てられている。章番号や定理番号は本書の更新に伴って変わることがあるのに対し、識別子は変わることはない。そのため、本書の特定の箇所を参照する場合は識別子を使うことを強く推奨する。HTML版では識別子ごとのページも作成されており、https://uemurax.github.io/hott-ja/<識別子>.htmlからアクセスできる。PDF版では識別子ごとのページは作成していない。

ちなみに、識別子を使うというアイディアはStacks projectやKerodonを参考にしている。