重写过程推广到范畴作用的 Kan 扩张
组合数学
2007-05-23 v2
摘要
Kan 扩张为各类组合问题提供了一个自然的通用框架。我们已针对 Kan 扩张（在集合范畴上）开发了重写过程，这使得一个程序能够处理广泛的问题。因此，可以使用同一框架（从而同一程序）来枚举幺半群或群（或群胚范畴）元素、枚举陪集或幺半群上的同余类、计算等变等价关系、群/幺半群/范畴的诱导作用，甚至更多。本扩展摘要是 R. Brown 和 A. Heyworth 所著《使用重写系统计算 Kan 扩张与范畴的诱导作用》的概要。
引用
@article{arxiv.math/9907083,
title = {Rewriting Procedures Generalise to Kan Extensions of Actions of Categories},
author = {Anne Heyworth},
journal= {arXiv preprint arXiv:math/9907083},
year = {2007}
}
备注
9 pages, LaTeX2e, (extended abstract FLoC/RTA'99). Replacement (v2) has correct LaTeX source file for submission (source for math/9907082 was accidently submitted as v1)