MSO 变换的范畴
计算机科学中的逻辑
2023-05-30 v1
摘要
MSO 变换是使用单子二阶逻辑定义的结构间的二元关系。MSO 变换构成一个范畴，因为它们在复合下封闭。我们表明，语言理论中的许多概念，如可识别性或树分解，可以以仅涉及 MSO 变换及其复合的抽象方式定义。
引用
@article{arxiv.2305.18039,
title = {The category of MSO transductions},
author = {Mikołaj Bojańczyk},
journal= {arXiv preprint arXiv:2305.18039},
year = {2023}
}