首先证明了它满足卡氏积封闭性(Cartesian Closed).因没有SC(子物质分类器),所以不是Topos.
基于16个网页-相关网页
满足卡氏积封闭性
Satisfy the closure of the Karl Fischer product
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动