but ψij is a strict epimorphism (since the projective limit is strict) and prj, pri are strict epimorphisms (by the definition of the product topology), so uij ...
確定! 回上一頁