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