Finer distinctions in intuitionistic logic
Internal construction of morphisms
References for the constructive Krull dimension
Introductory references for locales
Removed a remark which is kind of beside the point of these note
typo