Bornologies and metrically generated theories (Q1013807): Difference between revisions

It is the goal of the article to study bornologies for metrically generated theories. The authors first discuss important examples of metrically generated constructs, for instance the construct of Lipschitz spaces, of uniform spaces and of completely regular spaces. The unified setting of metrically generated theories is then used to investigate the functorial relationship between these constructs and the one of bornological spaces. Among other things the authors observe that the construct of bornological spaces is not metrically generated, but an important large subconstruct is.