ccc
#カルテジアン閉圏
#デカルト閉圏