2022-09-08 唯一射と対角射 用語法 多義語 圏一般論 終対象への唯一射や、単位対象への構造射 delete morphism descarder eraser discharger terminal morphism vanishing morphism bang garbage morphism(gs圏のこじつけ) counit もう一方の射は、 comultiplication duplicator copy morphism diagonal morphism sharing morphism(gs圏のこじつけ)