Reference number : GC-2017-Q1-02823, amendment number : , agreement type : G, recipient legal name : Tholen, Walter (York University)|Tholen, Walter (Université York), recipient country : CA, recipient province : nan, recipient city : Ontario, recipient postal code : nan, program name english : Discovery Grants Program - Individual, program name french : Programme de subventions à la découverte - individuelles, program purpose english : Much of the recent progress in mathematical research has been achieved by the import of ideas and methods of one area to another. From its beginnings in the 1940s, categorical language and theory have been developed to facilitate such interaction. Although being only one of many, this original overarching aspect of category theory continues to strive, and our research proposal aims to reinforce it in areas which, by comparison to other disciplines of mathematics, have so far only moderately been influenced or aided by category theory: functional analysis and general topology. In order to broaden its applicability, we want to extend a more quantitative approach to general topology beyond metrizability, by investigating spaces equipped with a distance function that may assume values other than numbers, such as probability functions. 
A particular type of such spaces should allow for a categorical unification of novel results in functional analysis that are based on "approximate" notions, defined to miss the standard one only by a preset margin. In Banach space theory, a prominent classical example is the so-called Gurarii space, which is separable and has an approximate extension property with respect to isometric embeddings of finite-dimensional spaces. We have recently established a categorical existence proof which, when applied to metric spaces, yields also the existence of the so-called Urysohn universal space. Our first goal is to crystallize the categorical principles that would allow us to give not only an existence but also a unified uniqueness proof for these two classical spaces, and then exploit them for other types of objects, especially for spaces with additional properties or structures of interest in topology or functional analysis. 
In a metric space (infinite distances permitted) one has a numerically defined closest distance from a point x to any set A of points of the space. So-called approach spaces come with an axiomatized point-set-distance function. They faithfully encompass, as categories, both metric and topological spaces, i.e., degenerate approach spaces where the distance from x to A may only be 0 or infinite ( x lies in or outside the closure of A ). For novel applications, we study spaces where the "distances" may not only be binary or numerical, but take values in a well-structured lattice. Moreover, by considering distances from points to features of the space in question other than its subsets, such as ultrafilters, we employ algebraic methods to study special types of spaces, such as the ones permitting the satisfactory formation of their function spaces. As a thesis project we seek to find situations when the totality of such spaces behaves dually to another category, usually of an algebraic type, which will then allow for the transfer of information between both types. Another thesis project will study "connected" objects and transformations in these and even broader contexts., program purpose french : Much of the recent progress in mathematical research has been achieved by the import of ideas and methods of one area to another. From its beginnings in the 1940s, categorical language and theory have been developed to facilitate such interaction. Although being only one of many, this original overarching aspect of category theory continues to strive, and our research proposal aims to reinforce it in areas which, by comparison to other disciplines of mathematics, have so far only moderately been influenced or aided by category theory: functional analysis and general topology. In order to broaden its applicability, we want to extend a more quantitative approach to general topology beyond metrizability, by investigating spaces equipped with a distance function that may assume values other than numbers, such as probability functions. 
A particular type of such spaces should allow for a categorical unification of novel results in functional analysis that are based on "approximate" notions, defined to miss the standard one only by a preset margin. In Banach space theory, a prominent classical example is the so-called Gurarii space, which is separable and has an approximate extension property with respect to isometric embeddings of finite-dimensional spaces. We have recently established a categorical existence proof which, when applied to metric spaces, yields also the existence of the so-called Urysohn universal space. Our first goal is to crystallize the categorical principles that would allow us to give not only an existence but also a unified uniqueness proof for these two classical spaces, and then exploit them for other types of objects, especially for spaces with additional properties or structures of interest in topology or functional analysis. 
In a metric space (infinite distances permitted) one has a numerically defined closest distance from a point x to any set A of points of the space. So-called approach spaces come with an axiomatized point-set-distance function. They faithfully encompass, as categories, both metric and topological spaces, i.e., degenerate approach spaces where the distance from x to A may only be 0 or infinite ( x lies in or outside the closure of A ). For novel applications, we study spaces where the "distances" may not only be binary or numerical, but take values in a well-structured lattice. Moreover, by considering distances from points to features of the space in question other than its subsets, such as ultrafilters, we employ algebraic methods to study special types of spaces, such as the ones permitting the satisfactory formation of their function spaces. As a thesis project we seek to find situations when the totality of such spaces behaves dually to another category, usually of an algebraic type, which will then allow for the transfer of information between both types. Another thesis project will study "connected" objects and transformations in these and even broader contexts., agreement title english : Categorical and quantitive topology and its applications, agreement title french : Categorical and quantitive topology and its applications, agreement number : RGPIN, agreement value : 80000.0, agreement start date : 2017-05-10, agreement end date : nan, description english : nan, description french : nan, expected results english : nan, expected results french : nan, additional information english : Grant or Award spanning more than one fiscal year. (2017-2018 to 2022-2023), additional information french : Subvention ou bourse octroyée s'appliquant à plus d'un exercice financier. (2017-2018 à 2022-2023), owner organization : nserc-crsng, owner organization title : Natural Sciences and Engineering Research Council of Canada | Conseil de recherches en sciences naturelles et en génie du Canada