北斗の圏論にコンパクト閉圏が登場です。
なんとなく、Ｃ式は関数に複数のカッコを使って標記できたりするから、圏論ってのに通ずるなにかがあるのかなぁとおもって、googleで圏論ってのを検索してみたら、コンパクト閉圏っていうのを見つけました。北斗神拳みたいな語呂がおもしろいなぁと思いました。ゴミ情報です。はい。すいません。コンパクト閉圏ってなんか強いのかよわいのかわかんないけどな。スモールパッケージホールドとか使いそうとか、そういう感じ。マイティ井上を思い出します。
なんか、小学生にも簡単に説明できるらしいので読んでみます。
