Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
ahm, another stupid question: what should sequential colimit point to? directed colimit?
I think that’s exactly the right place for it. The book on accessible categories by Adamek and Rosicky has some technical details on the relationship between these notions, and that would be good to get recorded here in the Lab. I can do that later when I have some more time.
Thanks, Todd, that would be very helpful. I still don’t have a copy of that book, and reading it in Google-books is a pain. :-/
Eventually it might not be a bad idea for it to be its own page, but directed colimit is also a good redirect.
I am actually not sure about the difference. Can you just state it for me?
By a sequential colimit I would mean a colimit over an ordinal, or even particularly the ordinal $\omega$, rather than over an arbitrary directed set.
Ah, thanks.
So I created sequential limit now and linked to it from directed limit.
1 to 7 of 7