arXiv 2017-07-07 EN Semigroup and Category-Theoretic Approaches to Partial Symmetry Wallis, Alistair R.