Timeline for formally smooth functor
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 5, 2014 at 0:43 | comment | added | user76758 | Just to be clear, in the definition of the category $\mathcal{D}$, "complete" is not meant in the sense of max-adic topologies (i.e., it is not something determined by the underlying local ring), but rather must be meant in the sense of pseudo-compact rings. For your setup with finite residue fields, it means that the rings are equipped with a profinite topology (which is however not generally the topology of finite-index additive subgroups), and morphisms are required to be continuous (so not just a locality condition determined by the maximal ideals). | |
| Jun 4, 2014 at 20:58 | vote | accept | A M | ||
| Jun 4, 2014 at 20:38 | answer | added | user76758 | timeline score: 8 | |
| Jun 3, 2014 at 11:52 | history | edited | Martin Brandenburg | CC BY-SA 3.0 |
added 38 characters in body; edited tags
|
| Jun 3, 2014 at 11:38 | history | asked | A M | CC BY-SA 3.0 |