Title: An algebraic study of modal operators and heytin algebras with applications to topology and sheafication