结构纤维丛拉回的自然语义
逻辑
2022-08-24 v2
摘要
我们指出，一阶语言结构的纤维丛上的力迫并非与（纤维丛的）拉回相容的语义，并描述了一种相对于拉回表现良好的语义。这一新语义利用平行移动，并允许为公式引入两类不同的扩张：垂直扩张与水平扩张。
引用
@article{arxiv.1811.11271,
title = {A natural semantics for the pullback of fiber bundles of structures},
author = {Leonardo A. Cano G and Pedro H. Zambrano},
journal= {arXiv preprint arXiv:1811.11271},
year = {2022}
}