很简单,对于收敛到x的任意一个Cauchy列,只要将点列中的每一个元素加上y-x即可.
比如{1/n}收敛到0,则{1+ 1/n}收敛到1,这些Cauchy列可由加性函子从x标志的范畴映射到y标志的范畴.