Timeline for Analogy between metric space completion and algebraic closure
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 6, 2019 at 20:56 | answer | added | Mike Shulman | timeline score: 6 | |
| Feb 6, 2019 at 19:44 | comment | added | user44143 | The higher inductive types of the HoTT book provide one common generalization, as elaborated in the discussion of the reals in sec 11.3. | |
| Feb 6, 2019 at 19:06 | comment | added | Kevin Buzzard | If the question really is "which NLab page deals with a common generalisation of reflective subcategories and Galois categories" then maybe MO is the right place for it. It's an appealing analogy but I don't know a common generalisation. One construction is an adjoint functor, but I don't think the other is. This question is a bit more confusing than I want it to be. | |
| Feb 6, 2019 at 16:40 | review | Close votes | |||
| Feb 7, 2019 at 9:39 | |||||
| Feb 6, 2019 at 16:14 | comment | added | Noah Schweber | I think this might be more appropriate for math.stackexchange. | |
| Feb 6, 2019 at 15:50 | review | First posts | |||
| Feb 6, 2019 at 17:39 | |||||
| Feb 6, 2019 at 15:45 | history | asked | Kenny Lau | CC BY-SA 4.0 |