圏論関係では以下の記法を用いることにする
文字のレベル
特に断りがなければ
対象は小文字の前の方と後ろの方
圏論関係では以下の記法を用いることにする
文字のレベル
特に断りがなければ
対象は小文字の前の方と後ろの方
a,b,c,…
対象を函手に
射を自然変換に格上げする圏論の記法
単位圏1:={∅}として
a∈Obj(C)は函手a♯:1→C
(Catの大域要素)
圏論の記法
定義
図式順の写像の適用を,と書くことにする
写像f:x→y
要素xˉ∈x
global element
大域点
global point
定義
終対象1をもつ圏Cにおいて
2020/4/13
一旦棄却
集合について
辻褄が合わなくなる
混乱が発生するので
2020/4/13
疑問
hom集合の要素について
厳密に考えると
1. 圏Cの射f:a→b
集合の話をメインでするときのページ内ローカルルール
圏論の記法
縦横が入れ替わるので注意
集合を離散圏
大文字X,Y,Z
直積 引き戻し
極限
普遍射 右普遍射
これらの指標をどう表記するか……
指標とはまた別のものと考えた方がいい?
bump-up
promotion
対象を射に
圏を函手に
函手を自然変換に格上げする圏論の記法
#圏論の記法
ひとつの圏に追加の構造を与えて指標を作ったとき
わかりやすい記法の案
モノイダル圏C⊗
例えばCに⊗をくっつけたら
自然変換の計算法 DOTN二号 - 檜山正幸のキマイラ飼育記 (はてなBlog)
cripped at 2019/08/21 15:45
#檜山正幸のキマイラ飼育記
#圏論の記法