圏論ってほんと考え方がようわからん。
たとえば、直和と直積とが双対であることは直感的にわかるが、
それを圏論的に表現するととっても奇妙な感じになる。
圏論ってほんとにまともですか？
それから、「なになにとは、なんとかの射に対してこれこれの射が
唯一存在すること」というような表現がよく出てきますが、
なぜ「唯一存在する」というのがよく出てくるのでしょうか？
どなたか教えてください。