赋范结构理论的统一方法——第一部分：单类情形
范畴论
2016-04-06 v4 泛函分析
环与代数
摘要
我们引入了一种特定类型的有限单类一阶理论的预赋范模型的概念，该模型在具有有限积的范畴上解释。这些理论被称为预代数理论，因为其签名除了任意函数符号（有限元）外，只包含关系符号，这些关系符号在任何可能模型中的解释都是自反且传递的二元关系，即预序。结果是对范数概念本身以及进而对赋范结构理论的一种抽象方法。
引用
@article{arxiv.1205.2988,
title = {A unified approach to the theory of normed structures - Part I: The single-sorted case},
author = {Salvatore Tringali},
journal= {arXiv preprint arXiv:1205.2988},
year = {2016}
}
备注
Not intended for publication