Surjunctivity and Reversibility of Cellular Automata over Concrete Categories