Construction of ball spaces and the notion of continuity
Spherically complete ball spaces provide a simple framework for the encoding of completeness properties of various spaces and ordered structures. This allows to prove generic versions of theorems that work with these completeness properties, such as fixed point theorems and related results. For the purpose of applying the generic theorems, it is important to have methods for the construction of new spherically complete ball spaces from existing ones. Given various ball spaces on the same underlying set, we discuss the construction of new ball spaces through set theoretic operations on the balls. A definition of continuity for functions on ball spaces leads to the notion of quotient spaces. Further, we show the existence of products and coproducts and use this to derive a topological category associated with ball spaces.