http://www.tac.mta.ca/tac/volumes/28/1/28-01.pdf を見てたら、 律子を coherent isomorphisms と呼んでいた。これは coherence isomorphisms と同義だ。 参照 → 一貫性の用語 - (新) 檜山正幸のキマイラ飼育記 メモ編また、sort を圏の種別の意味で使って…

まとめは「一貫性のまとめ」にある。「一貫性公理」は曖昧でヤバいから使用禁止とする。次を使う。 一貫性の基本射〈elementary morphism〉 基本射が同型なら基本同型射〈elementary isomorphism〉 一貫性条件： 基本射の組み合わせに対する等式の組 一貫性…

coherence nLab 一貫性の用語 続・一貫性の用語法 Wikipedia にある程度従うことにして： {一貫性の}?基本射〈elementary morphisms〉： 注目する生成射。 一貫性〈coherence〉： "various compositions of elementary morphisms are equal." であること。圏…

「依存アクテゴリーが面白い」という記事を書きました。実際僕は「面白い」と思っています。プロセスやシステムの記述と計算に使えそうだ、というところが心惹かれる理由でしょうかね。依存アクテゴリーはけっこう複雑な構造なので、定義を書き下すだけでも…

一貫性関係は用語が安定してなくて困る。レインンスター〈Tom Leinster〉の"Higher Operads, Higher Categories"での言い方。 一貫性定理と厳密化定理をあまり区別しない。同値な定理だから。 結合律子、単位律子を "coherence isomorphism" と呼んでいる。W…

https://ncatlab.org/nlab/show/coherence+law https://ncatlab.org/nlab/show/coherence+theorem+for+monoidal+categories https://ncatlab.org/nlab/show/coherence+theorem https://ncatlab.org/nlab/show/coherence+theorem#ListOfTheorems https://ncat…