また、「よくわからんわー」という愚痴みたいなハナシ。記号の約束Catを、小さい圏と関手からなる圏だとします。同様に、BiCatは小さい双圏と双圏のあいだの準同型*1からなる圏です。Catは厳密2-圏（特別な双圏）の構造を持ち、BiCatは3-圏の構造まで持った…