scientific article; zbMATH DE number 5029227
From MaRDI portal
Publication:5470454
zbMath1091.51002MaRDI QIDQ5470454
Publication date: 31 May 2006
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
Cauchy's infinitesimals, his sum theorem, and foundational paradigms, Fermat's dilemma: Why did he keep mum on infinitesimals? and the European theological context, A simplicial foundation for differential and sector forms in tangent categories, Reflections on the Axiomatic Approach to Continuity, A synthetic version of Lie's second theorem, Smooth structures on pseudomanifolds with isolated conical singularities, Asymptotic linear -- nonlinear duality, indeterminism and mathematical intelligence, Mapping spaces and automorphism groups of toric noncommutative spaces, Functional distribution monads in functional-analytic contexts, Relating first-order set theories, toposes and categories of classes, Codensity and the Giry monad, Functorial differential spaces and the infinitesimal structure of space-time, Smooth coalgebra: testing vector analysis, Cartesian differential categories revisited, Unnamed Item, The geometry of synchronization problems and learning group actions, Beyond the Space-Time Boundary, Aspects of Perturbative Quantum Gravity on Synthetic Spacetimes, Weyl and Intuitionistic Infinitesimals, Reverse AD at higher types: pure, principled and denotationally correct, THE LOGIC AND TOPOLOGY OF KANT’S TEMPORAL CONTINUUM, THE UNITY AND IDENTITY OF DECIDABLE OBJECTS AND DOUBLE-NEGATION SHEAVES, Connected Lie groupoids are internally connected and integral complete in synthetic differential geometry, Poisson algebras for non-linear field theories in the Cahiers topos, Toward a clarity of the extreme value theorem, Differential structure, tangent structure, and SDG, Unnamed Item, Formal composition of hybrid systems, Vector bundles and differential bundles in the category of smooth manifolds, Algebraic Geometry over 𝐶^{∞}-rings, Affine geometric spaces in tangent categories, Convenient categories of smooth spaces, On mathematical realism and applicability of hyperreals, Exploring mathematical objects from custom-tailored mathematical universes, Unnamed Item, Differential Geometry of Microlinear Frölicher Spaces IV-1, Unnamed Item, Homotopical analysis of 4d Chern-Simons theory and integrable field theories, Unnamed Item, Procedures of Leibnizian infinitesimal calculus: an account in three modern frameworks
