A category theoretical argument against the possibility of artificial life: Robert Rosen's central proof revisited. - Chu D; Ho WK (Artificial life, 2006)