随伴の余単位は分裂エピならばコイコライザー
随伴系の余単位は分裂エピ射ならばコイコライザー
Steve Awodey. Category Theory p.70の深読み
より弱い条件はないだろうか？
AstSimp.icon
2019/10/7
https://gyazo.com/d522cac11da6cc2a2803c24eba07e19c
https://gyazo.com/16e14c4e95e63e02a04f40a28324ebb1
2019/10/2
https://gyazo.com/443c1bbe46a717155329d321ca26d80d
2019/8/17
https://gyazo.com/de319c82c4102345e1440afd42d68125
dual.icon
随伴の単位は分裂モノならばイコライザー