scientific article

zbMath0472.18009MaRDI QIDQ3926775

F. William Lawvere

Publication date: 1980

Full work available at URL: http://www.numdam.org/item?id=CTGDC_1980__21_4_377_0

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

zbMATH Keywords

continuum mechanicssynthetic differential geometry

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Topoi (18B25) Differential forms in global analysis (58A10) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Abstract manifolds and fiber bundles (category-theoretic aspects) (18F15) Generalities, axiomatics, foundations of continuum mechanics of solids (74Axx)

Related Items (19)

Hierarchical evolutive systems: A mathematical model for complex systems ⋮ Identical particles and the simplicial category ⋮ On right adjoints to exponential functors ⋮ Simplicial differential geometric theory for language cortical dynamics ⋮ A topological approach to infinity in physics and biophysics ⋮ Smooth infinitesimals in the metaphysical foundation of spacetime theories ⋮ Logical quantization of differential geometry ⋮ A geometric theory of harmonic and semi-conformal maps ⋮ Ten misconceptions from the history of analysis and their debunking ⋮ Unnamed Item ⋮ Smooth coalgebra: testing vector analysis ⋮ Do simple infinitesimal parts solve Zeno's paradox of measure? ⋮ Leibniz's infinitesimals: their fictionality, their modern implementations, and their foes from Berkeley to Russell and beyond ⋮ Introduction: A personal tribute to Peter Freyd and Bill Lawvere ⋮ Toward a clarity of the extreme value theorem ⋮ Unnamed Item ⋮ The three arrows of Zeno. Cantorian and non-Cantorian concepts of the continuum and of motion ⋮ A synthetic Frobenius theorem ⋮ Procedures of Leibnizian infinitesimal calculus: an account in three modern frameworks

This page was built for publication: