scientific article

Publication date: 17 September 1992

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Topoi (18B25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Synthetic differential geometry (51K10) Grothendieck topologies and Grothendieck topoi (18F10) Research exposition (monographs, survey articles) pertaining to category theory (18-02) Abstract manifolds and fiber bundles (category-theoretic aspects) (18F15)

Related Items

Local well-posedness and finite time blowup for fourth-order Schrödinger equation with complex coefficient, Separation theorems in the commutative algebra of C∞-rings and applications, Automatic differentiation with higher infinitesimals, or computational smooth infinitesimal analysis in Weil algebra, Functions on the zeroes of \(dx\), A simplicial foundation for differential and sector forms in tangent categories, A model for intuitionistic non-standard arithmetic, Reflections on the Axiomatic Approach to Continuity, Unnamed Item, Poisson Smooth Structures on Stratified Symplectic Spaces, Mathematical pluralism: The case of smooth infinitesimal analysis, Topos models for physics and topos theory, Smooth infinitesimals in the metaphysical foundation of spacetime theories, Infinitesimals and the continuum, A model for spacetime: the role of interpretation in some Grothendieck topoi, A synthetic version of Lie's second theorem, Theory of microcubes, Logical quantization of differential geometry, A model for spacetime. II: The emergence of higher dimensions and field theory/strings dualities, Smooth structures on pseudomanifolds with isolated conical singularities, Logical quantizations of first-order structures, A note on closed ideals in rings of smooth functions, Asymptotic expansions of fiber integrals over higher-dimensional bases, Differential spaces of finite type, Internal diagrams and archetypal reasoning in category theory, 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, Analysis on superspace: an overview, An embedding theorem for tangent categories, Algebraic structure of classical field theory: kinematics and linearized dynamics for real scalar fields, Lifting homotopy \(T\)-algebra maps to strict maps, On the notion of noncommutative submanifold, Basic constructions over \(C^\infty \)-schemes, Poisson cohomology of 3D Lie algebras, Categorical frameworks for generalized functions, Differential forms on \(C^{\infty}\)-ringed spaces, Fermat-Reyes method in the ring of Fermat reals, Topological and algebraic structures on the ring of Fermat reals, The ring of Fermat reals, Infinitesimals without logic, Singular superspaces, Approximation results of Artin-Tougeron-type for general filtrations and for \(C^r\)-equations, Left and right adjoint operations on spaces and data types, Category Theory and Philosophy, Aspects of Perturbative Quantum Gravity on Synthetic Spacetimes, Unnamed Item, Matched pair analysis of the Vlasov plasma, Lie Calculus, Unnamed Item, General Jacobi identity revisited again, Beyond perturbation 1: de Rham spaces, Orbispaces as differentiable stratified spaces, Synthetic Hamiltonian mechanics, Reflection principles for synthetic theories of smooth manifolds, Connected Lie groupoids are internally connected and integral complete in synthetic differential geometry, Differential Calculus and Nilpotent Real Numbers, Function spaces, cartesian closedness and nonstandard methods, Poisson algebras for non-linear field theories in the Cahiers topos, Cubical version of combinatorial differential forms, Constructive nonstandard representations of generalized functions, The first Bianchi identity in synthetic differential geometry, Derived smooth manifolds, Differential structure, tangent structure, and SDG, Metric spaces and SDG, Forcing in Proof Theory, Ordinary differential equations and their exponentials, Blowup on an arbitrary compact set for a Schrödinger equation with nonlinear source term, Combinatorial differential forms., A differential graded model for derived analytic geometry, Unnamed Item, Topological geometrical categories, Formal composition of hybrid systems, Topos Theory in Montréal in the 1970s: My Personal Involvement, On sheaf cohomology and natural expansions, Algebraic Geometry over 𝐶^{∞}-rings, Unnamed Item, Formal oscillatory integrals and deformation quantization, \(H^2\) blowup result for a Schrödinger equation with nonlinear source term, Universal deformation formula, formality and actions, Exploring mathematical objects from custom-tailored mathematical universes, Category theory and the foundations of mathematics: philosophical excavations., Unnamed Item, A synthetic Frobenius theorem, Nonlinear connections in synthetic differential geometry, Solutions blowing up on any given compact set for the energy subcritical wave equation, On differential structure for projective limits of manifolds, Differential calculus over general base fields and rings., Developments in Constructive Nonstandard Analysis, Unnamed Item, The strong homotopy structure of Poisson reduction, Existence of \(B_{\alpha,\beta}^k\)-structures on \(C^k\)-manifolds, The rise of non-Archimedean mathematics and the roots of a misconception. I: The emergence of non-Archimedean systems of magnitudes, Procedures of Leibnizian infinitesimal calculus: an account in three modern frameworks