Reflections on function spaces
Abstract This paper gathers together a number of loosely connected thoughts about Bishop’s notion of “function space”. In particular, it provides constructive proofs of some natural, classically straightforward results about morphisms between metrical function spaces, and examines connections between function spaces and pre-apartness spaces.