使用重写系统计算 Kan 扩张与范畴的诱导作用
组合数学
2007-05-23 v1
摘要
给定幺半群表示的自由幺半群中字的标准重写方法，被推广到给定“Kan 扩张表示”的自由范畴中路径的重写。这与 Carmody-Walters 关于 Kan 扩张的 Todd-Coxeter 过程的工作相关，但允许输出数据无穷，由一种语言描述。该结果也允许在更广的情形与例子中应用重写方法，就幺半群、范畴、群或群胚的诱导作用而言。
引用
@article{arxiv.math/9903032,
title = {Using Rewriting Systems to Compute Kan Extensions and Induced Actions of Categories},
author = {Ronald Brown and Anne Heyworth},
journal= {arXiv preprint arXiv:math/9903032},
year = {2007}
}
备注
31 pages, LaTeX2e, (submitted to JSC)