俺の Colimit を越えてゆけ

2016-03-29から1日間の記事一覧

2016-03-29

Steve Awodey の Category Theory を読む : Chapter 3

数学 数学-圏論

Steve Awodey の Category Theory を読む シリーズトップ 3.2 Coproducts Example 3.5 Example 3.6 Example 3.9 Example 3.10 Proposition 3.11 3.4 Coequalizers Example 3.20 参考書籍 3.2 Coproducts Example 3.5 を の UMP より を満たすただ一つの arro…

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

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

スターをつけました

引用をストックしました

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

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

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

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