Title: Point-free carrier space topology for commutative Banach algebras