Hayato Nasu
@ngaastue.bsky.social
Halifax, Canada/ PhD student/ Categorical logic (or, logical category theory)
Homepage: https://hayatonasu.github.io/hayatonasu/
Homepage: https://hayatonasu.github.io/hayatonasu/
倍圏はbicategoryの訳では？(何か二重圏にしない理由がお持ちなら無視してください)
October 5, 2025 at 1:15 PM
倍圏はbicategoryの訳では？(何か二重圏にしない理由がお持ちなら無視してください)
これ解決したどころかそのミスのせいで行き詰まってた部分が解消してとても気分がいい
April 15, 2024 at 11:39 AM
これ解決したどころかそのミスのせいで行き詰まってた部分が解消してとても気分がいい