TY - RPRT TI - Using Rewriting Systems to Compute Kan Extensions and Induced Actions of Categories AU - Ronald Brown AU - Anne Heyworth PY - 1999 UR - https://arxiv.org/abs/math/9903032 ID - math/9903032 ER -