Affirmation on required previous knowledge of topos theory
typo
Reference on sheafification for doctrines
Reference on topological interpretation of modal logic
Resolved one XXX