“用户讨论:Master” 上的话题

第1行: 第1行:
(relative) smallness在Grothendieck topos的定义里本质的,否则Sh(Top)或者Cond都会成为topos,而这是错误的。
+
(relative) smallness of sites在Grothendieck topos的定义里本质的,否则Sh(Top)或者Cond都会成为topos,而这是错误的。