Timeline for Lie functor preserves "surjections" in synthetic differential geometry?
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 3, 2017 at 0:08 | vote | accept | ಠ_ಠ | ||
| Jan 20, 2016 at 22:13 | history | edited | ಠ_ಠ | CC BY-SA 3.0 |
added 191 characters in body
|
| Jan 20, 2016 at 22:09 | comment | added | Qiaochu Yuan | The condition that a covariant representable functor $\text{Hom}(P, -)$ preserves epimorphisms is one possible definition of $P$ being a projective object. So non-projective modules provide many counterexamples to this general statement. The abstract nonsense only tells you that covariant representable functors (regarded as functors to $\text{Set}$) preserve monomorphisms. | |
| Jan 20, 2016 at 22:05 | history | edited | ಠ_ಠ | CC BY-SA 3.0 |
added 124 characters in body; edited title
|
| Jan 20, 2016 at 21:18 | answer | added | André Henriques | timeline score: 4 | |
| Jan 20, 2016 at 21:13 | history | edited | ಠ_ಠ | CC BY-SA 3.0 |
deleted 16 characters in body
|
| Jan 20, 2016 at 8:34 | history | asked | ಠ_ಠ | CC BY-SA 3.0 |