morphisms-of-computational-structures
morphisms-of-computational-structures copied to clipboard
Terrance Tao question asking for a Turing Complete group
https://mathoverflow.net/questions/88368/can-a-group-be-a-universal-turing-machine