2010-06-22から1日間の記事一覧
2-圏(厳密な2-圏、強2-圏)の例としては、たいてい“圏の圏”Catが使われます。確かにCatは面白いし、Catを2-圏として理解することは役に立つとは思います。が、Catは難しいですよね。「n-圏とは何だろう」において、より簡単な2-圏の例として順序集合の圏を…
このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。
2-圏(厳密な2-圏、強2-圏)の例としては、たいてい“圏の圏”Catが使われます。確かにCatは面白いし、Catを2-圏として理解することは役に立つとは思います。が、Catは難しいですよね。「n-圏とは何だろう」において、より簡単な2-圏の例として順序集合の圏を…