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