ちゃんとattestedですね(サクラさん周りくらいでしか見ない気もするが)
bicategoryは双圏の方が見る気がします
05.10.2025 22:32
👍 1
🔁 0
💬 1
📌 0
ちゃんとattestedですね(サクラさん周りくらいでしか見ない気もするが)
bicategoryは双圏の方が見る気がします
pseudocategory object in Setoidを経由することでisofibrant double categoryの正しさが自明になるという話をします
若手の会はもっと分野紹介的な発表が増えるべきだという話があったので、人類ダブル化計画をする
こんな神機能あるのか
【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 !