Mathlog
×
Mathlog
アカウント
アカウント作成
ログイン
その他
ヘルプ
利用規約
意見箱
2021/12/02
5つの圏の定義とCoqによる実装
めいぜんおーえす
めいぜんおーえす
フォローする
解説
大学数学以上
文献あり
5つの圏の定義とCoqによる実装
圏論
,
Coq
6
共有
Tweet
URL
PDF
参考文献
S. MacLane (三好博之/高木 理 訳), 圏論の基礎, 丸善出版, 2013
395
投稿日:2021年12月02日
6
共有
Tweet
URL
PDF
この記事を高評価した人
詳しくみる
投稿者
@meizen_os
めいぜんおーえす
関連記事
普遍性〜それは何であるべきか〜
本質部分加群の圏論的特徴づけ Part1
任意の群は自明群からの単射準同型を持つことの証明
コメント
コメントはありません。
詳細へ
購入へ