>>810
ありがとうございます。なるほど、μは、例えば他にy=bみたいな定数関数とかもそう言う訳ですね。すっきり。
ただ、ηについてはどういう事か補足して頂けないでしょうか。
埋込みというのが、部分に同型な奴はその部分自体と見なしてしまう事らしいとは調べたのですが、それが
η : 1_{C} → T　とどう繋がるのか理解出来ませんでした。