A natural semantics for the pullback of fiber bundles of structures

2018/11/27 by G, Leonardo A. Cano, Zambrano, Pedro H.
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1811.11271

Abstract

We remark that forcing on fiber bundles of structures of first order languages is not a compatible semantics with the pullback (of fiber bundles) and we describe a semantics which behaves well with respect to it. This new semantics uses parallel transport and allows to introduce two different types of extensions for the formulae: vertical and horizontal extensions.

Related

• Transports along paths in fibre bundles. II. Ties with the theory of connections and parallel transports
• Pushforwards and Gauge Transformations for Categorical Connections
• Transports along paths in Fibre Bundles. I. General Theory
• An Introduction to Pull-backs of Bundles and Homotopy Invariance
• The Bridge Lemmas between Equivalent Fell Bundles and its Applications