Synthetic differential topology (United Kingdom; Cambridge University Press, 2018)