蕴涵代数与实现性的范畴
逻辑
2019-04-19 v2
摘要
在本文中，我们继续对Krivine实现性进行代数研究，通过引入两个范畴——其对象分别为抽象Krivine结构与蕴涵代数——来精炼作者先前的一些构造。这两个范畴由一个伴随关系相联系，该伴随关系的存在澄清了此前建立的该理论的诸多方面。
关键词
引用
@article{arxiv.1712.06043,
title = {The category of implicative algebras and realizability},
author = {Walter Ferrer and Octavio Malherbe},
journal= {arXiv preprint arXiv:1712.06043},
year = {2019}
}