Some aspects of (non) functoriality of natural discrete covers of locales - Ball, Richard N. (2019)