Timeline for Are there any interesting classes of limits containing finite limits?
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 29 at 2:01 | history | edited | Tim Campion | CC BY-SA 4.0 |
added 15 characters in body
|
| Mar 29 at 1:53 | comment | added | Tim Campion | math.stackexchange.com/questions/1424777/… | |
| S Mar 28 at 12:07 | history | suggested | Morgan Rogers | CC BY-SA 4.0 |
removed repetition typo
|
| Mar 28 at 11:05 | comment | added | Morgan Rogers | I think I can see how one would prove this, at least for an $\omega_1$-indexed diagram: we can construct its colimit in the category of topological vector spaces (I can't immediately see how the result is a Banach space, but continuing), then observe that the maps in the colimit cone must be bounded, since if the norms in the diagram are divergent in $\mathbb{R}$ then there is a countable divergent cofinal subsequence, which is impossible in $\omega_1$? I think I'm missing some details which would make this precise. Can you suggest a reference? | |
| Mar 28 at 10:51 | review | Suggested edits | |||
| S Mar 28 at 12:07 | |||||
| Mar 28 at 10:48 | vote | accept | Morgan Rogers | ||
| Mar 27 at 3:44 | history | answered | Tim Campion | CC BY-SA 4.0 |