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…

ブログ記事のカテゴリーについては： 半形式証明スクリプト https://m-hiyama-memo.hatenablog.jp/archive/category/%E5%8D%8A%E5%BD%A2%E5%BC%8F%E8%A8%BC%E6%98%8E%E3%82%B9%E3%82%AF%E3%83%AA%E3%83%97%E3%83%88 言葉遣い： 公理は要請〈demand〉する。 …