2011-05-11から1日間の記事一覧
カルテシアン射の言い換えで簡単に証明できるCLTTの演習問題があったので書いておく。 f がカルテシアンで, g, h が関手で同じ射に移る*1とき, g;f = h;f ならば g = h. 証明 g, h ∈ Lifts( f, g; f ) pg = ph ∈ Lifts(pf, (pg);(pf))で, g, h は共に関手 p …
カルテシアン射の言い換えで簡単に証明できるCLTTの演習問題があったので書いておく。 f がカルテシアンで, g, h が関手で同じ射に移る*1とき, g;f = h;f ならば g = h. 証明 g, h ∈ Lifts( f, g; f ) pg = ph ∈ Lifts(pf, (pg);(pf))で, g, h は共に関手 p …