Timeline for Filtered colim of F-groups
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 23, 2020 at 12:19 | history | bounty ended | Ofra | ||
| Dec 23, 2020 at 12:19 | vote | accept | Ofra | ||
| Dec 19, 2020 at 19:52 | comment | added | Denis Nardin | Every filtered category has a cofinal map from a filtered poset, so for the purposes of this question the distinction is immaterial | |
| Dec 19, 2020 at 16:52 | comment | added | Matt Zaremsky | Oh...wait, really? Hmm, nlab is actually exactly where I got this from: ncatlab.org/nlab/show/direct+limit "A direct limit is the same thing as a colimit.... Many authors restrict this terminology to...filtered colimit[s]." Anyway, hopefully for whatever notion of filtered colimit you're dealing with this general strategy works. | |
| Dec 19, 2020 at 14:16 | comment | added | Ofra | Filtered colimit is more general then directed ones. Take a look in nlab ! | |
| Dec 19, 2020 at 12:32 | history | answered | Matt Zaremsky | CC BY-SA 4.0 |