Wikipedia や nLab の Karoubi envelope の項を読むと、具体的な構成法に依存しないカロウビ展開圏の特徴付けが書いてあります。この特徴付けを使うと、具体的定義に基づくよりスマートに証明ができることもあるでしょう。圏Cのベキ等射 a:A→A が分裂（split…

どんな分野でも、用語法や記号法の不整合はあるでしょう。歴史的な経緯でしょうがないのですけど、それが学習者を混乱させたり大きな障害になったりします。僕は、このテの問題に悩まされることが多いので、このダイアリーでもけっこう話題にしています。ん…