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.
This entry had a section “Abuses” (originating in rev 1) which contained exactly the following paragraph:
It is often said that two diagrams are cofinal even when neither has a colimit, if they acquire a common colimit on passing to a suitable completion of . This can probably be phrased internally to , at the cost of intuition.
I am hereby removing this section for the time being. Maybe there is something to be said here, but the headline “Abuses” seems disconnected from what the paragraph says, the first sentence remains vague and the second and last sentence seems to call into question whether the author of these lines had thought this through.
If anyone knows what useful statement the author of these lines had in mind, let’s sort it out, phrase it clearly, and then add it back to the entry.
1 to 1 of 1