lociはlocusの複数形。 locus 英語だとローカスに近い。 loci 英語だとローカイ。ラテン語だとロキに近い。 で、代数〈algebra | 多元環〉の圏の反対圏〈形式的双対 | formal dual〉をlocus〈軌跡〉の圏と呼ぶことがあるようだ。具体的には、 smooth代数の圏…

どこで変化（相転移？）が起きるのか？日本語： 定義の文 証明を要する命題？ ホゲタンプとは2で割り切れる自然数である 2で割り切れる⇒ホゲタンプ even numberとは2で割り切れる自然数である 2で割り切れる⇒even number グウスウとは2で割り切れる自然数で…