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