TY - RPRT TI - A note on transport of algebraic structures AU - Henrik Holm PY - 2015 UR - https://arxiv.org/abs/1504.07366 ID - 1504.07366 ER -