In topos models for synthetic differential geometry we study connections between smooth spaces (which interpret synthetic calculus) and continuous spaces (which interpret intuitionistic analysis). Our main tools are adjoint retractions of toposes and the standard map from the smooth reals to the continuous reals
This book presents a comprehensive account of the theory of spaces of continuous functions under uni...
Smooth manifolds are found everywhere: they appear in several branches of mathematics (beginning at ...
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...
Contains fulltext : 128981.pdf (publisher's version ) (Open Access
The goal of this thesis is to explore the basic axiomatic theory of Syn- thetic Differential Geometr...
AbstractThe space of all solutions for a first-order differential equation can be regarded as a mani...
Structured spaces or differential spaces are a generalization of the concept of smooth manifolds. Le...
An extension of the category of local manifolds is considered. Instead of smooth mappings of neighbo...
This book presents a detailed, self-contained theory of continuous mappings. It is mainly addressed ...
AbstractWe establish that the category of Cauchy spaces and Cauchy continuous maps upholds an intrin...
Vector fields in infinite-dimensional manifolds play an important role in differential topology-geom...
We unify a variety of continuous and discrete types of change of state phenomena using a scheme who...
We study time- and parameter-dependent ordinary differential equations in the geometric setting of v...
This concise and practical textbook presents the essence of the theory on smooth manifolds. A key co...
This book presents a comprehensive account of the theory of spaces of continuous functions under uni...
Smooth manifolds are found everywhere: they appear in several branches of mathematics (beginning at ...
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...
Contains fulltext : 128981.pdf (publisher's version ) (Open Access
The goal of this thesis is to explore the basic axiomatic theory of Syn- thetic Differential Geometr...
AbstractThe space of all solutions for a first-order differential equation can be regarded as a mani...
Structured spaces or differential spaces are a generalization of the concept of smooth manifolds. Le...
An extension of the category of local manifolds is considered. Instead of smooth mappings of neighbo...
This book presents a detailed, self-contained theory of continuous mappings. It is mainly addressed ...
AbstractWe establish that the category of Cauchy spaces and Cauchy continuous maps upholds an intrin...
Vector fields in infinite-dimensional manifolds play an important role in differential topology-geom...
We unify a variety of continuous and discrete types of change of state phenomena using a scheme who...
We study time- and parameter-dependent ordinary differential equations in the geometric setting of v...
This concise and practical textbook presents the essence of the theory on smooth manifolds. A key co...
This book presents a comprehensive account of the theory of spaces of continuous functions under uni...
Smooth manifolds are found everywhere: they appear in several branches of mathematics (beginning at ...
This paper offers an overview of various alternative formulations for Analysis, the theory of Integr...