2014-05-29 Extremal (epi)monomorphism 圏論 定義 Morphism 記法 Regular (epi)monomorphism 何かの(co)equalizerになっているmorphismのこと。*1 Extremal (epi)monomorphism を満たす(epi)monomorphism のこと。 命題 参考文献 Abstract and Concrete Categories: The Joy of Cats (Dover Books on Mathematics) *1:この要件だけで(epi)monomorphismになる