まだハッキリしないのだけど。 集合と論理 圏論 ブール代数Ω 集合圏Set 真偽値 集合 含意 写像 集合の圏 圏の圏 ベキ集合 前層 シングルトン埋め込み 米田埋め込み ベキベキ集合 前層の前層 合併 ？ ベキ集合モナド 前層モナド？ 集合値写像 前層への関手 ブール値行列 プロ関手 ∃ コエンド∫ Rel Prof 正方行列 自己プロ関手 正方行列モノイド 自己プロ関手圏 AA ≦ A, I≦A アロー？
対応 - (保存用) 檜山正幸のキマイラ飼育記 メモ編
まだハッキリしないのだけど。 集合と論理 圏論 ブール代数Ω 集合圏Set 真偽値 集合 含意 写像 集合の圏 圏の圏 ベキ集合 前層 シングルトン埋め込み 米田埋め込み ベキベキ集合 前層の前層 合併 ？ ベキ集合モナド 前層モナド？ 集合値写像 前層への関手 ブール値行列 プロ関手 ∃ コエンド∫ Rel Prof 正方行列 自己プロ関手 正方行列モノイド 自己プロ関手圏 AA ≦ A, I≦A アロー？
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
