デカルト閉圏
→
デカルト閉圏(CCC)