読者になる

俺の Colimit を越えてゆけ

2016-11-01から1ヶ月間の記事一覧

2016-11-02

Steve Awodey の Category Theory を読む : Chapter 10

数学-圏論 数学

Steve Awodey の Category Theory を読む シリーズトップ 10.2 Monads and adjoints Example 10.5 10.3 Algebras for a monad Example 10.7 10.4 Comonads and coalgebras 10.5 Algebras for endofunctors Lemma 10.10 Corollary 10.13 参考書籍 10.2 Monads…

プロフィール
id:hitotakuchan id:hitotakuchan はてなブログPro
読者です 読者をやめる 読者になる 読者になる
このブログについて
最新記事
  • 分散合意アルゴリズム Raft を TLA+ で検証する
  • A Proof for Log Matching Property of Raft
  • ナンプレ(数独)は難しさを定義するのが難しい
  • 大学数学の個別指導を始めます
  • Steve Awodey の Category Theory を読む : Chapter 10
注目記事
月別アーカイブ
  • ▼ ▶
    2020
    • 2020 / 6
    • 2020 / 5
    • 2020 / 3
  • ▼ ▶
    2017
    • 2017 / 5
  • ▼ ▶
    2016
    • 2016 / 11
    • 2016 / 9
    • 2016 / 7
    • 2016 / 6
    • 2016 / 5
    • 2016 / 4
    • 2016 / 3
    • 2016 / 2
    • 2016 / 1
  • ▼ ▶
    2015
    • 2015 / 12
検索
俺の Colimit を越えてゆけ 俺の Colimit を越えてゆけ

Powered by Hatena Blog | ブログを報告する

引用をストックしました

引用するにはまずログインしてください

引用をストックできませんでした。再度お試しください

限定公開記事のため引用できません。

読者です 読者をやめる 読者になる 読者になる