このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」（http://d.hatena.ne.jp/m-hiyama-memo/）のデータを移行・保存したものであり、今後（2019年1月以降）更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

2016-10-07から1日間の記事一覧

忠実関手と埋め込み

圏一般論 説明 具体例 Mx

忠実関手と部分圏：忠実だからって埋め込めないよ - 檜山正幸のキマイラ飼育記 メモ編 のより簡単な例。 |C| = {0, 1, 2} C(0, 1) = 2N = {0, 2, 4, ...} C(1, 2) = 3N = {0, 3, 6, ...} 他はidだけか空集合 結合は足し算、idは0とみなす。 |D| = {0} D(0, 0…