diagonal morphismとは 意味・読み方・使い方

意味・対訳 対角射 とは圏論の概念で、集合の圏における対角写像 a ∈ A → ( a、a ) ∈ A × A {\displaystyle a\in A\to (a、a)\in A\times A} を一般の圏に拡張した概念である。