修改实现的箭头代数范畴
范畴论
2025-01-20 v3 逻辑
摘要
本文进一步研究了箭头代数，这些简单的代数结构通过三段-到-顶師构造诱导到集合论。我们定义了适当的态射概念，这些态射对应于其关联三段的态射。专门化到几何包含，我们以箭头三段上核的形式刻画箭头三段的子三段，恢复了经典的局部-论结果。作为应用示例，我们将修改实现提升到箭头代数的框架中，并建立了其函数性。
引用
@article{arxiv.2407.02836,
title = {A category of arrow algebras for modified realizability},
author = {Umberto Tarantino},
journal= {arXiv preprint arXiv:2407.02836},
year = {2025}
}