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