このブログの更新は Twitterアカウント @m_hiyama で通知されます。 Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。
最近、二重圏に興味を持っています(「二重圏、縦横をもう一度」参照)。モナドや随伴には昔から興味を持っています。すべての随伴系〈adjunction〉達を二重圏、あるいは2-二重圏に組織化することを考えたことがあります。 随伴系の二重圏 (2019年) 2-二重圏…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。