このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

［参照用 記事］

2013-01-18から1日間の記事一覧

二重圏の具体的な定義

雑記／備忘

昨日の記事で二重圏（double category）について触れました。二重圏は2次元の圏の一種です。2次元の圏は、n=2 の場合のn-圏（高次圏）です。高次圏（higher category）の定義は一般に面倒です。DblCat := Cat(Cat) のように、圏論特有の機械仕掛け（machiner…