Changes between Initial Version and Version 1 of Ticket #7946, comment 6


Ignore:
Timestamp:
04/14/14 11:29:57 (8 years ago)
Author:
pbruin
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #7946, comment 6

    initial v1  
    1111- convert `Spec` into a functor from `CommutativeRings` to `AffineSchemes`.
    1212(Mathematically speaking, Spec [as a functor from commutative rings to schemes, or even locally ringed spaces] can be defined as the adjoint functor of the global sections functor ''X'' -> ''O,,X,,''(''X'') from schemes to commutative rings, and this gives an anti-equivalence of categories from commutative rings to affine schemes; I wonder if this could somehow be formalised in Sage's category framework, but that's another story...)
     13
     14[Edit: the above idea is now essentially #16158, although there is no category of affine schemes yet.]