3
$\begingroup$

Let ${\cal A}$ be the category of finitely presented $\mathbb{C}$-algebras. Let $J$ be the largest subcanonical Grothendieck topology on ${{\cal A}^{op}}$ such that the local algebras in $\cal A$ are cocovered only by the maximal sieve. Is there a more explicit description of $J$? (Something analogous to the usual description of the Zariski topology in terms of a finitary basis.) Note: it contains the Zariski topology.

$\endgroup$

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.