generated at
2/21/2025, 9:05:23 PM
随伴の余単位は分裂エピならばコイコライザー
随伴系
の
余単位
は
分裂エピ射
ならば
コイコライザー
Steve Awodey. Category Theory
p.70の深読み
より弱い条件はないだろうか?
2019/10/7
2019/10/2
2019/8/17
随伴の単位は分裂モノならばイコライザー