scientific article
From MaRDI portal
Publication:3918651
zbMath0466.51008MaRDI QIDQ3918651
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Categorical logic, topoi (03G30) Differential forms in global analysis (58A10) Synthetic differential geometry (51K10) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to geometry (51-01) Grothendieck topologies and Grothendieck topoi (18F10) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01)
Related Items (83)
Unnamed Item ⋮ Are Points (Necessarily) Unextended? ⋮ Separation theorems in the commutative algebra of C∞-rings and applications ⋮ Separably real closed local rings ⋮ Logical opens and real numbers in topoi ⋮ Unnamed Item ⋮ \(C^{\infty}\)-algebras from the functional analytic view point ⋮ On right adjoints to exponential functors ⋮ Simplicial differential geometric theory for language cortical dynamics ⋮ Axiomatizing a category of categories ⋮ Unnamed Item ⋮ Mathematical pluralism: The case of smooth infinitesimal analysis ⋮ A smooth version of the Zariski topos ⋮ Glafka-2004: categorical quantum gravity ⋮ Smooth infinitesimals in the metaphysical foundation of spacetime theories ⋮ Synthetic aspects of \(C^{\infty}\)-mappings. II: Mather's theorem for infinitesimally represented germs ⋮ Theory of microcubes ⋮ Logical quantization of differential geometry ⋮ Three problems concerning ideals of differentiable functions ⋮ A geometric theory of harmonic and semi-conformal maps ⋮ A note on closed ideals in rings of smooth functions ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Finitary topos for locally finite, causal and quantal vacuum Einstein gravity ⋮ Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\) ⋮ Bundle functors and fibrations ⋮ Unnamed Item ⋮ An embedding theorem for tangent categories ⋮ Unnamed Item ⋮ Categorical semantics of a simple differential programming language ⋮ Calculus in the ring of Fermat reals. I: Integral calculus ⋮ Affine connections, midpoint formation, and point reflection ⋮ Fermat-Reyes method in the ring of Fermat reals ⋮ Topological and algebraic structures on the ring of Fermat reals ⋮ Infinitesimals without logic ⋮ Left Kan extensions preserving finite products ⋮ On the de Rham complex in abstract spaces ⋮ On De Rham's theorem in synthetic differential geometry ⋮ Natural bundles and operators ⋮ Unnamed Item ⋮ Bousfield localisation and colocalisation of one-dimensional model structures ⋮ Unnamed Item ⋮ General Jacobi identity revisited again ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Synthetic Hamiltonian mechanics ⋮ Reflection principles for synthetic theories of smooth manifolds ⋮ Unnamed Item ⋮ Differential Calculus and Nilpotent Real Numbers ⋮ Cubical version of combinatorial differential forms ⋮ The first Bianchi identity in synthetic differential geometry ⋮ Metric spaces and SDG ⋮ Unnamed Item ⋮ Ordinary differential equations and their exponentials ⋮ Characters on algebras of smooth functions ⋮ Combinatorial differential forms. ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Non-abelian differentiable gerbes ⋮ Unnamed Item ⋮ Affine Connections, and Midpoint Formation ⋮ Combinatorics of non-holonomous jets ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The three arrows of Zeno. Cantorian and non-Cantorian concepts of the continuum and of motion ⋮ Unnamed Item ⋮ A synthetic Frobenius theorem ⋮ Nonlinear connections in synthetic differential geometry ⋮ Synthetic aspects of \(C^\infty\)-mappings ⋮ On differential structure for projective limits of manifolds ⋮ Smooth spaces versus continuous spaces in models for synthetic differential geometry ⋮ Differential forms as infinitesimal cochains ⋮ Categorical algebra for continuum micro physics ⋮ Differential geometry of gerbes ⋮ Unnamed Item ⋮ Combinatorial notions relating to principal fibre bundles ⋮ Unnamed Item ⋮ Synthetic characterization of reduced algebras ⋮ Rings of smooth functions and their localizations. I ⋮ Unnamed Item
This page was built for publication:
