Not rigorous of course, but copy/paste/cut should form a group like map/fold, algebraic structures are everywhere.