圈論的雙對
dual, duality
圈
に於ける構成や命題に就いて、射の向きと射の合成の向きを逆にしたもの
圈
の公理は自身に對して
圈論的雙對
である
依って命題とその
圈論的雙對
との
眞僞値
は一致する
双対 (圏論) - Wikipedia
「餘」や"co-"と附く事が多い
例
mono 射
と
epi 射
普遍 (圈論)
と
餘普遍
積 (圈)
と
餘積
等化子
と
餘等化子
極限 (圈)
と
餘極限
代數 (圈)
と
餘代數
de Morgan 雙對
「餘」や"co-"と附いてゐても
圈論的雙對
ではない例も多いので注意
雙對線形空閒
隨伴 (函手)
に於ける隨伴對の
左隨伴
と
右隨伴
單位 (圈)
と
餘單位