@misc{indiciae4d988eb9ae59, title = {Using Rewriting Systems to Compute Kan Extensions and Induced Actions of Categories}, author = {Ronald Brown and Anne Heyworth}, year = {1999}, url = {https://arxiv.org/abs/math/9903032}, note = {Source identifier: math/9903032} }