bicategoryの例としてsmall categoryのなす圏Catがある。 実際にはこれはstrict 2-categoryになっている。 Cat in nLab - 0-cellはsmall categoryたち - 1-cellはsmall cat x, yの関手の圏で対象は関手x \to yであり、2-cellは自然変換 - 恒等射は恒等関手id…