ちゃんとattestedですね（サクラさん周りくらいでしか見ない気もするが）
bicategoryは双圏の方が見る気がします

pseudocategory object in Setoidを経由することでisofibrant double categoryの正しさが自明になるという話をします