2021-10-29から1日間の記事一覧
複数の台〈underlying thing〉を持つような圏論的構造物を定義したり記述したりするための方法を準備します。内容: 1-ドクトリンと0-ドクトリン 番号付けの憂鬱 忘却関手と忘却階層グラフ パート抽出関手 加群 ≒ 表現 圏論化 1-ドクトリンと0-ドクトリン「…
このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。
複数の台〈underlying thing〉を持つような圏論的構造物を定義したり記述したりするための方法を準備します。内容: 1-ドクトリンと0-ドクトリン 番号付けの憂鬱 忘却関手と忘却階層グラフ パート抽出関手 加群 ≒ 表現 圏論化 1-ドクトリンと0-ドクトリン「…