圏論

• コンパクト閉圏