Timeline for Characterize pullback functors among copresheaf-pra's
Current License: CC BY-SA 4.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 10, 2020 at 15:22 | comment | added | David Spivak | Thanks Simon. I was misremembering the result on page 674. I've edited the text. | |
| Jul 10, 2020 at 15:21 | history | edited | David Spivak | CC BY-SA 4.0 |
added 50 characters in body
|
| Jul 10, 2020 at 14:59 | history | edited | David Spivak | CC BY-SA 4.0 |
added 78 characters in body
|
| Jul 10, 2020 at 14:10 | answer | added | Simon Henry | timeline score: 2 | |
| Jul 10, 2020 at 13:16 | comment | added | Simon Henry | I can't find in Mark Weber's paper the precise statement of this results you mentioned in remarks, but don't you need to assume that the categories under consideration are Cauchy complete for this to hold ? I also feel like Cauchy completeness will probably be helpful to give nice purely categorical characterization of these functors (as any category is isomorphic to its Cauchy completion in the category pra). | |
| Jul 10, 2020 at 12:53 | history | edited | David Spivak | CC BY-SA 4.0 |
added 36 characters in body; edited title
|
| Jul 10, 2020 at 11:13 | history | edited | David Spivak | CC BY-SA 4.0 |
added 104 characters in body
|
| Jul 10, 2020 at 10:40 | history | edited | David Spivak | CC BY-SA 4.0 |
deleted 14 characters in body
|
| Jul 10, 2020 at 4:02 | history | edited | David Spivak | CC BY-SA 4.0 |
added 75 characters in body
|
| Jul 10, 2020 at 2:48 | history | asked | David Spivak | CC BY-SA 4.0 |