Published online by Cambridge University Press: 29 June 2009
The main purpose of this paper is to develop a point-free notion of topological transitivity. First, we define transitive frame maps and transitive completely prime filters in Frm, the category of frames and frame maps. Then we discuss the relationship between these notions in Frm and the notions of topological transitive and transitive points in Top. Finally, we investigate the relationship between transitive frame maps and the existence of transitive completely prime filters.