1.Previous
3.Next

as expected with respect to composition of inclusions. This means that if is the category of the open sets with inclusions as morphisms, is a contravariant functor from to the category of rings.

The second compatibility condition is that can be uniquely recovered from the if is an open cover of . Technically, this can be expressed as

where denotes an inverse limit.

1.Previous
3.Next