Talk:Diagonal functor

Untitled

Re: π_k, a projection. I think that a link to projection would be useful here. In fact, the projection article should be improved from the category point of view. --Gogino 19:18, 30 April 2006 (UTC)[reply]

I've linked the canonical projection, which has a mention of the category-theoretic projection. I think that article should be merged with projection (mathematics) (and the fork is my fault). -lethe ^{talk +} 01:17, 1 May 2006 (UTC)[reply]

I agree with the merge. --Gogino 03:51, 25 May 2006 (UTC)[reply]

Sequences

The diagonal morphism into the infinite product $X^{\infty }$ may provide an injection into the space of sequences valued in $X$ ; each element maps to the constant sequence at that element. However, most notions of sequence spaces have convergence restrictions which the image of the diagonal map will fail to satisfy.

First, only the diagonal map $X\to X\times X$ is defined in this article; not the generalized diagonal map $X\to X^{\infty }$ . Second, I think the remark about convergence restrictions is highly misleading. Constant sequences are considered convergent under any topology whatsoever. Apparently the author mistook sequences for series? -- Darij (talk) 22:46, 3 July 2011 (UTC)[reply]

The above comment is for content moved to diagonal morphism. 67.198.37.16 (talk) 05:33, 26 February 2018 (UTC)[reply]