m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 圏一般論 用語法 「一貫性」という言葉が曖昧だから整理する。まず、律子〈rator〉は法則を与える2-射（あるいはもっと高次の射）のこと。律子が満たす等式を制約等式〈constraint equation〉または等式的制約〈equational constraint〉または単に制約〈constraint〉と呼ぶ。ここまでは特に「一貫性」という言葉は出てこない。が、制約を一貫性制約と呼ぶことがある。ちょっと違うような気がする。一貫性は、「律子＋制約」がある状況で、律子達で作った自由圏がやせていることだろう。つまり、一貫性、あるいは「一貫性がある／を持つ」のような言い方は、「律子＋制約」が作る構造に対する形容詞なの… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20190117%2F1547699467" title="律子と制約と一貫性 - (保存用) 檜山正幸のキマイラ飼育記 メモ編" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2019-01-17 13:31:07 rich https://m-hiyama-memo.hatenablog.jp/entry/20190117/1547699467 1.0 100%