模型范畴的公理化范畴的计算机支持探索
计算机科学中的逻辑
2022-12-12 v2 代数拓扑
范畴论
摘要
模型体（modeloid），即某类偏双射的集合，源于从结构抽象到其偏自同构集合的思想。它带有一个称为导数的运算，该运算受 Ehrenfeucht-Fra"iss\'e 博弈启发。本文中，我们采用范畴论的公理化方法，将模型体首先推广到逆半群，再推广到逆范畴。随后我们表明，这一表述使得对 Ehrenfeucht-Fra"iss\'e 博弈的一种纯代数视角成为可能。
引用
@article{arxiv.1910.12863,
title = {Computer-supported Exploration of a Categorical Axiomatization of Modeloids},
author = {Lucca Tiemens and Dana S. Scott and Christoph Benzmüller and Miroslav Benda},
journal= {arXiv preprint arXiv:1910.12863},
year = {2022}
}
备注
24 pages; accepted for conference: Relational and Algebraic Methods in Computer Science (RAMICS 2020)