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

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

若手の会はもっと分野紹介的な発表が増えるべきだという話があったので、人類ダブル化計画をする

【GoodNotes 5】ノートを共有・相手と共同編集する方法｜まとめ 作ったノートを他人に共有｜相手と共同する手順・図解｜1分でわかりやすく解説｜手書きアプリの辞典

こんな神機能あるのか

【GoodNotes 5】ノートを共有・相手と共同編集する方法｜まとめ tegaki.app/how-to-colla...

Est-ce que je commence vraiment à découvrir la logique que les catégories double « devraient » jouir ?

Je suis ici !