Path-connectedness for locales and toposes