Surjunctivity and reversibility of cellular automata over concrete categories