nLab strict local ring

Idea

For the moment see at classifying topos – For strict local rings

References

III.2-4 of

• Monique Hakim, Topos annelés et schémas relatifs

and

• Gavin Wraith, Generic Galois theory of local rings