ByNobleID
    Boolean algebras and stone maps in schröder categories | NobleID