任意の圏Cに対して、Cの Karoubi envelope と呼ばれる圏を作れるんですよ。Karoubiをなんて発音するかわからんし、envelopeの訳語もわからんけど、とりあえず「カロウビ展開圏」という言葉を使っておきます。カロウビ展開圏はすごく役に立つんだけど、あまり…