The following pages link to (Q3997818):
Displaying 50 items.
- Smooth structures on pseudomanifolds with isolated conical singularities (Q356531) (← links)
- Internal diagrams and archetypal reasoning in category theory (Q382414) (← links)
- Relating first-order set theories, toposes and categories of classes (Q386623) (← links)
- Lifting homotopy \(T\)-algebra maps to strict maps (Q400996) (← links)
- Infinitesimals without logic (Q455512) (← links)
- Singular superspaces (Q463987) (← links)
- Connected Lie groupoids are internally connected and integral complete in synthetic differential geometry (Q517698) (← links)
- Poisson algebras for non-linear field theories in the Cahiers topos (Q529609) (← links)
- Fermat-Reyes method in the ring of Fermat reals (Q639539) (← links)
- Synthetic Hamiltonian mechanics (Q678648) (← links)
- \(H^2\) blowup result for a Schrödinger equation with nonlinear source term (Q779894) (← links)
- Synthetic aspects of \(C^\infty\)-mappings (Q788100) (← links)
- The rise of non-Archimedean mathematics and the roots of a misconception. I: The emergence of non-Archimedean systems of magnitudes (Q813283) (← links)
- Automatic differentiation with higher infinitesimals, or computational smooth infinitesimal analysis in Weil algebra (Q831980) (← links)
- Mathematical pluralism: The case of smooth infinitesimal analysis (Q853816) (← links)
- A model for spacetime: the role of interpretation in some Grothendieck topoi (Q862637) (← links)
- A model for spacetime. II: The emergence of higher dimensions and field theory/strings dualities (Q867187) (← links)
- Categorical frameworks for generalized functions (Q903188) (← links)
- Cubical version of combinatorial differential forms (Q969692) (← links)
- Derived smooth manifolds (Q974797) (← links)
- On right adjoints to exponential functors (Q1094522) (← links)
- A note on closed ideals in rings of smooth functions (Q1119876) (← links)
- Function spaces, cartesian closedness and nonstandard methods (Q1203547) (← links)
- A synthetic Frobenius theorem (Q1295521) (← links)
- Nonlinear connections in synthetic differential geometry (Q1295582) (← links)
- On differential structure for projective limits of manifolds (Q1299123) (← links)
- Theory of microcubes (Q1367616) (← links)
- Left and right adjoint operations on spaces and data types (Q1434353) (← links)
- Category theory and the foundations of mathematics: philosophical excavations. (Q1578766) (← links)
- A simplicial foundation for differential and sector forms in tangent categories (Q1630584) (← links)
- A synthetic version of Lie's second theorem (Q1656722) (← links)
- Functional distribution monads in functional-analytic contexts (Q1678156) (← links)
- An embedding theorem for tangent categories (Q1682009) (← links)
- Beyond perturbation 1: de Rham spaces (Q1742276) (← links)
- Orbispaces as differentiable stratified spaces (Q1745932) (← links)
- A model for intuitionistic non-standard arithmetic (Q1891250) (← links)
- Infinitesimals and the continuum (Q1908685) (← links)
- Logical quantization of differential geometry (Q1910872) (← links)
- Logical quantizations of first-order structures (Q1915367) (← links)
- Topological and algebraic structures on the ring of Fermat reals (Q1955875) (← links)
- The ring of Fermat reals (Q1959453) (← links)
- Differential structure, tangent structure, and SDG (Q2015833) (← links)
- Blowup on an arbitrary compact set for a Schrödinger equation with nonlinear source term (Q2025682) (← links)
- On sheaf cohomology and natural expansions (Q2054954) (← links)
- Universal deformation formula, formality and actions (Q2080294) (← links)
- Exploring mathematical objects from custom-tailored mathematical universes (Q2080581) (← links)
- The strong homotopy structure of Poisson reduction (Q2105637) (← links)
- Existence of \(B_{\alpha,\beta}^k\)-structures on \(C^k\)-manifolds (Q2107692) (← links)
- Local well-posedness and finite time blowup for fourth-order Schrödinger equation with complex coefficient (Q2125202) (← links)
- Smooth infinitesimals in the metaphysical foundation of spacetime theories (Q2155942) (← links)
