Timeline for Need of filtered indexed categories
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 18, 2019 at 18:16 | comment | added | Filippo Alberto Edoardo | Good point. I will have a look at Lurie's book. Thanks. | |
| Oct 18, 2019 at 18:07 | comment | added | user20948 | A sidenote: If you adjoin all colimits, then you end up with the presheaf category (by Yoneda lemma). The section in Lurie's book is about adjoining a certain family of colimits. | |
| Oct 18, 2019 at 16:47 | comment | added | Filippo Alberto Edoardo | Well, I am most probably after something much more down-to-earth. First of all, I would like to work in usual abelian categories. Secondly, I don't need to add all colimits, I have an explicit object (componentwise tensor product of two projective systems) and I would like to know if it is a colimit, i.e. if it verifies the usual universal property. | |
| Oct 18, 2019 at 8:21 | comment | added | user20948 | Are you referring to something like "freely adjoining colimits to a category"? In Lurie's Higher Topos Theory, section 5.3.6, he discusses a generalization to $\infty$-categories. However, I don't know results about the monoidal structures (tensor product in your case). Maybe this is related. | |
| Oct 18, 2019 at 7:02 | vote | accept | Filippo Alberto Edoardo | ||
| Oct 18, 2019 at 5:51 | answer | added | Fred Rohrer | timeline score: 2 | |
| Oct 18, 2019 at 3:35 | history | asked | Filippo Alberto Edoardo | CC BY-SA 4.0 |