A presheaf on a site is a sheaf if its value on any object of the site is given by its compatible values on any covering of that object.
確定! 回上一頁