Ultrafilters, finite coproducts and locally connected classifying toposes

Richard Garner. Ultrafilters, finite coproducts and locally connected classifying toposes. Annals of Pure and Applied Logic, 171(10):102831, 2020. [doi]

Abstract

Abstract is missing.