対角射
対角射 (英: diagonal morphism)とは圏論の概念で、集合の圏における対角写像 a ∈ A → ( a , a ) ∈ A × A {\displaystyle a\in A\to (a,a)\in A\times A} を一般の圏に拡張した概念である。 本項では対角射と関係がある対角関手（英: diagonal functor）についても述べる。
対角射 (英: diagonal morphism)とは圏論の概念で、集合の圏における対角写像 a ∈ A → ( a , a ) ∈ A × A {\displaystyle a\in A\to (a,a)\in A\times A} を一般の圏に拡張した概念である。 本項では対角射と関係がある対角関手（英: diagonal functor）についても述べる。
対角射 (英: diagonal morphism)とは圏論の概念で、集合の圏における対角写像 a ∈ A → ( a , a ) ∈ A × A {\displaystyle a\in A\to (a,a)\in A\times A} を一般の圏に拡張した概念である。 本項では対角射と関係がある対角関手（英: diagonal functor）についても述べる。
出典: Wikipedia「対角射」 · CC BY-SA 4.0
この記事を共有: X · Bluesky