Publication:3918651
From MaRDI portal
zbMath0466.51008MaRDI QIDQ3918651
Publication date: 1981
03G30: Categorical logic, topoi
58A10: Differential forms in global analysis
51K10: Synthetic differential geometry
51-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to geometry
18F10: Grothendieck topologies and Grothendieck topoi
18-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory
Related Items
Reflection principles for synthetic theories of smooth manifolds, Unnamed Item, Unnamed Item, Unnamed Item, Differential Calculus and Nilpotent Real Numbers, Unnamed Item, Unnamed Item, Unnamed Item, The first Bianchi identity in synthetic differential geometry, Combinatorial differential forms., Characters on algebras of smooth functions, Synthetic Hamiltonian mechanics, Synthetic aspects of \(C^\infty\)-mappings, Smooth spaces versus continuous spaces in models for synthetic differential geometry, Mathematical pluralism: The case of smooth infinitesimal analysis, Glafka-2004: categorical quantum gravity, A geometric theory of harmonic and semi-conformal maps, Finitary topos for locally finite, causal and quantal vacuum Einstein gravity, Cubical version of combinatorial differential forms, Non-abelian differentiable gerbes, Combinatorial notions relating to principal fibre bundles, Synthetic characterization of reduced algebras, Rings of smooth functions and their localizations. I, Separably real closed local rings, Logical opens and real numbers in topoi, \(C^{\infty}\)-algebras from the functional analytic view point, On right adjoints to exponential functors, Simplicial differential geometric theory for language cortical dynamics, A smooth version of the Zariski topos, Synthetic aspects of \(C^{\infty}\)-mappings. II: Mather's theorem for infinitesimally represented germs, Three problems concerning ideals of differentiable functions, A note on closed ideals in rings of smooth functions, Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\), On De Rham's theorem in synthetic differential geometry, Natural bundles and operators, The three arrows of Zeno. Cantorian and non-Cantorian concepts of the continuum and of motion, A synthetic Frobenius theorem, Nonlinear connections in synthetic differential geometry, On differential structure for projective limits of manifolds, Theory of microcubes, Differential forms as infinitesimal cochains, Categorical algebra for continuum micro physics, Logical quantization of differential geometry, On the de Rham complex in abstract spaces, General Jacobi identity revisited again, Ordinary differential equations and their exponentials, Differential geometry of gerbes, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Affine Connections, and Midpoint Formation, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Axiomatizing a category of categories, Unnamed Item, Unnamed Item, Unnamed Item
