A natural semantics for the pullback of fiber bundles of structures

DOI10.1007/S11225-024-10164-8MaRDI QIDQ7262562zbMATH OpenFDO

Authors Leonardo Arturo Cano García, Pedro Zambrano

Publication date 12 June 2026

Published in Studia Logica (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S11225-024-10164-8

zbMATH Keywords

Ehresmann connectionepistemologyfiber bundlesforcingparallel transportsemanticssheaves

Mathematics Subject Classification ID

Model-theoretic forcing (03C25) Other model constructions (03C30) Models of other mathematical theories (03C65) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Other connections (53B15) Local differential geometry (53B99) Global differential geometry (53C99) Applications of differential geometry to sciences and engineering (53Z99)

Cites work

• Characteristic Classes. (AM-76)
• scientific article; zbMATH DE number 993350 (Why is no real title available?)
• scientific article; zbMATH DE number 425858 (Why is no real title available?)
• scientific article; zbMATH DE number 3816641 (Why is no real title available?)
• scientific article; zbMATH DE number 3516003 (Why is no real title available?)
• scientific article; zbMATH DE number 205892 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 3086604 (Why is no real title available?)
• Introduction to Riemannian Manifolds
• Model theory and Kähler geometry
• Quantales and their sheaves
• Sheaves of Metric Structures
• The concept of nature, Tarner lectures delivered in Trinity College, November 1919.

This page was built for publication: A natural semantics for the pullback of fiber bundles of structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7262562)