2015-10-16から1日間の記事一覧
一般的な高次圏、つまりn-圏は難しくて歯が立ちません。せめて n = 2 の場合、2次元の圏くらいは扱ってみたいな、と思います。内容： 圏の圏とDOTN 2-圏と二重圏 計算ができない 圏の圏とDOTN圏の圏Catは2次元の圏の典型的例です。Catでの計算をするために、…
このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。
［参照用 記事］
