トップ «前の日記(2006-12-24) 最新 次の日記(2006-12-27)» 月表示 編集

日々の流転


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 より。他の定義もどっかで見たことがあるような気はするが。

Tags: 圏論