Functorial comparisons of bitopology with topology and the case for redundancy of bitopology in lattice-valued mathematics

[EN] This paper studies various functors between (lattice-valued) topology and (lattice-valued) bitopology, including the expected “doubling” functor Ed : L-Top → L-BiTop and the “cross” functor E× : L-BiTop → L2-Top introduced in this paper, both of which are extremely well-behaved strict, concrete, full embeddings. Given the greater simplicity of lattice-valued topology vis-a-vis lattice-valued bitopology and the fact that the class of L2-Top’s is strictly smaller than the class of L-Top’s encompassing fixed-basis topology, the class of E×’s makes the case that lattice-valued bitopology is categorically redundant. As a special application, traditional bitopology as represented by BiTop is (isomorphic in an extremely well-behaved way to) a strict subcategory of 4-Top, where 4 is the four element Boolean algebra; this makes the case that traditional bitopology is a special case of a much simpler fixed-basis topology.Support of Youngstown State University via a sabbatical for the 2005–2006 academic year is gratefully acknowledged.Rodabaugh, S. (2008). Functorial comparisons of bitopology with topology and the case for redundancy of bitopology in lattice-valued mathematics. Applied General Topology. 9(1):77-108. doi:10.4995/agt.2008.1871.SWORD771089

Quantale Modules, with Applications to Logic and Image Processing

We propose a categorical and algebraic study of quantale modules. The results and constructions presented are also applied to abstract algebraic logic and to image processing tasks.Comment: 150 pages, 17 figures, 3 tables, Doctoral dissertation, Univ Salern