俺の Colimit を越えてゆけ

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

2016-03-22

Steve Awodey の Category Theory を読む : Chapter 2

数学 数学-圏論

Steve Awodey の Category Theory を読む シリーズトップ 2.1 Epis and monos Example 2.4 a function is epic iff surjective in any epi into a projective object splits any retract of a projective object is projective 2.3 Generalized elements ult…

Steve Awodey の Category Theory を読む : Chapter 2
プロフィール
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 | ブログを報告する

スターをつけました

引用をストックしました

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

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

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

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