モノイドの余直積について
モノイド
の
余直積
(自由積)は、ある種の
コイコライザー
によって与えられる
Steve Awodey. Category Theory
Example 3.9 の深読み
2019/7/28
https://gyazo.com/4f4ee5554693e5ec5e668dfe15ec52a4
https://gyazo.com/e10c4c0bb0fe2feb757ccdf425e530b1
本当にコイコライザーなのか?
随伴の余単位は分裂エピならばコイコライザー