Reflections on function spaces

► Constructive topology based on Bishop's function-space axioms. ► Function spaces associated with apartness spaces. ► Function-space morphisms and Bishop's notion of B-continuity. ► Applying the anti-Specker property to prove B-continuity of morphisms between function spaces.