This paper offers an overview of various alternative formulations for Analysis, the theory of Integral and Differential Calculus, and its diverging conceptions of the topological structure of the continuum. We pay particularly attention to Smooth Analysis, a proposal created by William Lawvere and Anders Kock based on Grothendieck’s work on a categorical algebraic geometry. The role of Heyting’s logic, common to all these alternatives is emphasized
The graceful role of analysis in underpinning calculus is often lost to their separation in the curr...
This concise and practical textbook presents the essence of the theory on smooth manifolds. A key co...
Two options offered, both covering fundamentals of mathematical analysis: convergence of sequences a...
This paper offers an overview of various alternative formulations for Analysis, the theory of Integr...
AbstractIn topos models for synthetic differential geometry we study connections between smooth spac...
In topos models for synthetic differential geometry we study connections between smooth spaces (whic...
Functor calculus is a way of organizing the interplay between homotopy theory and stable homotopy th...
Differential Topology provides an elementary and intuitive introduction to the study of smooth manif...
Smooth manifolds are found everywhere: they appear in several branches of mathematics (beginning at ...
This book presents the fundamentals of modern tensor calculus for students in engineering and applie...
Derived from the author's course on the subject, Elements of Differential Topology explores the vast...
In a previous paper, the author has introduced and studied a new algebraic structure which accuratel...
Differential categories have a rich relation with proof theory and linear logic. In this talk, we wi...
Presenting basic results of topology, calculus of several variables, and approximation theory which ...
This paper aims at showing how the tools of Algebraic Geome-try apply to Analysis. We will review va...
The graceful role of analysis in underpinning calculus is often lost to their separation in the curr...
This concise and practical textbook presents the essence of the theory on smooth manifolds. A key co...
Two options offered, both covering fundamentals of mathematical analysis: convergence of sequences a...
This paper offers an overview of various alternative formulations for Analysis, the theory of Integr...
AbstractIn topos models for synthetic differential geometry we study connections between smooth spac...
In topos models for synthetic differential geometry we study connections between smooth spaces (whic...
Functor calculus is a way of organizing the interplay between homotopy theory and stable homotopy th...
Differential Topology provides an elementary and intuitive introduction to the study of smooth manif...
Smooth manifolds are found everywhere: they appear in several branches of mathematics (beginning at ...
This book presents the fundamentals of modern tensor calculus for students in engineering and applie...
Derived from the author's course on the subject, Elements of Differential Topology explores the vast...
In a previous paper, the author has introduced and studied a new algebraic structure which accuratel...
Differential categories have a rich relation with proof theory and linear logic. In this talk, we wi...
Presenting basic results of topology, calculus of several variables, and approximation theory which ...
This paper aims at showing how the tools of Algebraic Geome-try apply to Analysis. We will review va...
The graceful role of analysis in underpinning calculus is often lost to their separation in the curr...
This concise and practical textbook presents the essence of the theory on smooth manifolds. A key co...
Two options offered, both covering fundamentals of mathematical analysis: convergence of sequences a...
DOI
Add to ORKG