Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).

nLab > Latest Changes: universally closed morphism

Bottom of Page

1 to 4 of 4

  1.  
    • CommentRowNumber1.
    • CommentAuthorzskoda
    • CommentTimeApr 30th 2011
    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeApr 30th 2011

    I have edited it a bit. We need an entry closed morphism, then.

    • CommentRowNumber3.
    • CommentAuthorzskoda
    • CommentTimeApr 30th 2011

    Universally closed morphisms are in KR 6.8.1 interpreted in terms of formal M vM_v-smoothness in the sense of 6.3 and for a specific class M vM_v related to valuation rings. Similarly for properness and separatedness. This is just a reinterpretation of the valuative criteria of Chevalley in the generality of EGA II. So I created entries EGA II, valuative criterion of separatedness and valuative criterion of properness. For the latter cf. also the diagram at wikipedia proper morphism.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeApr 30th 2011

    Thanks. I have to run now. Will try to look at this later.

1 to 4 of 4

  1.