Changes between Initial Version and Version 1 of Ticket #7946, comment 6
 Timestamp:
 04/14/14 11:29:57 (8 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Ticket #7946, comment 6
initial v1 11 11  convert `Spec` into a functor from `CommutativeRings` to `AffineSchemes`. 12 12 (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 antiequivalence 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.]