Endで困った

あー、そうか。カップリング関手Tのエンドを End T と書くと、Endomorphismっぽくなって、混同がありそう。小文字で end T とか？ ウーン、いまいち。

積分記号を使うのが習慣だが、あれ嫌。総和のΣと総積のΠならいいと思うが、あんまり使われてない。ΠT := End T、ΣT := Coend T かな。ただ、Πはほんとの直積にも見える。

εT は？ εは他でも使うしな―。ウーム、困った。