TY - RPRT TI - Axioms for unary semigroups via division operations AU - Joao Araujo AU - Michael Kinyon PY - 2010 UR - https://arxiv.org/abs/1004.0007 ID - 1004.0007 ER -