The following pages link to (Q5470454):
Displaying 40 items.
- Smooth structures on pseudomanifolds with isolated conical singularities (Q356531) (← links)
- Relating first-order set theories, toposes and categories of classes (Q386623) (← 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)
- Codensity and the Giry monad (Q890663) (← links)
- Cauchy's infinitesimals, his sum theorem, and foundational paradigms (Q1616116) (← links)
- Fermat's dilemma: Why did he keep mum on infinitesimals? and the European theological context (Q1616127) (← 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)
- Differential structure, tangent structure, and SDG (Q2015833) (← links)
- Vector bundles and differential bundles in the category of smooth manifolds (Q2040887) (← links)
- Exploring mathematical objects from custom-tailored mathematical universes (Q2080581) (← links)
- Homotopical analysis of 4d Chern-Simons theory and integrable field theories (Q2113466) (← links)
- Asymptotic linear -- nonlinear duality, indeterminism and mathematical intelligence (Q2169769) (← links)
- Functorial differential spaces and the infinitesimal structure of space-time (Q2194301) (← links)
- The geometry of synchronization problems and learning group actions (Q2223632) (← links)
- Reverse AD at higher types: pure, principled and denotationally correct (Q2233481) (← links)
- Toward a clarity of the extreme value theorem (Q2254563) (← links)
- On mathematical realism and applicability of hyperreals (Q2323044) (← links)
- Mapping spaces and automorphism groups of toric noncommutative spaces (Q2410927) (← links)
- (Q2964106) (← links)
- Cartesian differential categories revisited (Q2973248) (← links)
- Convenient categories of smooth spaces (Q3102724) (← links)
- Beyond the Space-Time Boundary (Q3296113) (← links)
- Aspects of Perturbative Quantum Gravity on Synthetic Spacetimes (Q3296114) (← links)
- Weyl and Intuitionistic Infinitesimals (Q3297255) (← links)
- Affine geometric spaces in tangent categories (Q4632601) (← links)
- THE LOGIC AND TOPOLOGY OF KANT’S TEMPORAL CONTINUUM (Q4637953) (← links)
- THE UNITY AND IDENTITY OF DECIDABLE OBJECTS AND DOUBLE-NEGATION SHEAVES (Q4647119) (← links)
- Procedures of Leibnizian infinitesimal calculus: an account in three modern frameworks (Q5030479) (← links)
- Reflections on the Axiomatic Approach to Continuity (Q5055282) (← links)
- (Q5094126) (← links)
- Formal composition of hybrid systems (Q5129226) (← links)
- (Q5155686) (← links)
- Algebraic Geometry over 𝐶^{∞}-rings (Q5230269) (← links)
- Differential Geometry of Microlinear Frölicher Spaces IV-1 (Q5258853) (← links)
- Smooth coalgebra: testing vector analysis (Q5361142) (← links)
- (Q5421089) (← links)
- (Q6201715) (← links)