自由の二重無限分配圏はカルテシアン閉じている

自由の二重無限分配圏はカルテシアン閉じている。