2006-12-26 [長年日記]
λ. almost epi
メモ。終対象への射はepiだとは限らない。 例えば、始対象0が存在する場合を考えると0→1はepiとは限らない(少なくともSetではepiでない)。
けど、almost epi にはなっている。φ:F→M が almost epi なのは、任意の g:M→M について gφ=φ を満たすならばgがautomorphismであるとき。この almost epi の定義は Relative Ext Groups, Resolutions, and Schanuel Classes by Henrik Holm より。他の定義もどっかで見たことがあるような気はするが。
[ツッコミを入れる]
