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

DOI10.1090/MEMO/0485MaRDI QIDQ4033508zbMATHOpenAlexFDO

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

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)

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

Cited in

(3)

• Categories of abstract smooth models and their singular envelopes
• Existence of orbifolds IV: Examples
• Manifolds and local structures. A general theory

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)