Axiomization of passage from “local” structure to “global” object

DOI10.1090/MEMO/0485zbMATH Open0812.18008OpenAlexW2046080944MaRDI QIDQ4033508FDOQ4033508

Authors: Paul Feit 

Publication date: 16 May 1993

Published in: Memoirs of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/c2666fe6fc3585fec3b1815791dc222dc1584c24

Recommendations

• Localizing the axioms
• Locality transfer: from constrained axiomatizations to reachability predicates
• From global to local state, coalgebraically and compositionally
• Elementary axioms for local maps of toposes
• On the local-to-global principle for value sets
• Axiomatization of local-global principles for pp-formulas in spaces of orderings
• Local reasoning for global invariants. II: Dynamic boundaries
• Obtaining Finite Local Theory Axiomatizations via Saturation
• From types to sets by local type definition in higher-order logic

zbMATH Keywords

local structureglobal structureplus-constructionGrothendieck topologyschemesrigid analytic spacesalgebraic spacesuniversal constructionscontinuous functorBanach analytic spaces\(C^ \infty\)-manifoldscanopiescut-and-paste specificationespaces analytique banachiqueformal subsetspullback-stable

Mathematics Subject Classification ID

Topoi (18B25) Grothendieck topologies and Grothendieck topoi (18F10) Generalizations (algebraic spaces, stacks) (14A20) Abstract manifolds and fiber bundles (category-theoretic aspects) (18F15) Banach analytic manifolds and spaces (32K05) Research exposition (monographs, survey articles) pertaining to category theory (18-02)

Cited In (2)

• Existence of orbifolds IV: Examples
• Categories of abstract smooth models and their singular envelopes

This page was built for publication: Axiomization of passage from “local” structure to “global” object

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