[일반] Ab에 fiber (co)product 가 존재하냐는 문제풀이

[고무졸직(uyau391bq71x)]

출처는 aluffi 대수

대충 이렇게 하면 되겠지? 어느정도 감을 잡은것같기도?

coproduct는 못하겠음. 포기

[ns(qwer2357)]

본문 글 안읽기는 했는데 product는 cartesian product로 구현하고 coproduct는 direct sum으로 구현하고 fibre product는 발생하는 관계에 대해 quotient로 fibre coproduct는 발생관계에 대해 intersection으로 하면 대충 universal property 돌려서 될거임.. 확인해보진 않았

[고무졸직(uyau391bq71x)]

내공이 쌓이면 이해 되겠징