2025/04/24 by Michal Botur, Botur, Michal, Jan Paseka +3
Computer Science · Decision Sciences · #06F07 #Advanced Algebra and Logic #Category Theory (math.CT) #FOS: Mathematics #Fuzzy and Soft Set Theory #Logic (math.LO) #Rough Sets and Fuzzy Logic
paper · pdf · doi:10.48550/arxiv.2504.17654
openalex publication_date 2025/04/24 · openalex created_date 2025/10/18 · openalex updated_date 2026/07/28
Our research builds upon Halmos's foundational work on functional monadic Boolean algebras and our previous work on tense operators to develop three essential constructions, including the important concepts of fuzzy sets and powerset operators. These constructions have widespread applications across contemporary mathematical disciplines, including algebra, logic, and topology. The framework we present generates four covariant and two contravariant functors, establishing three adjoint situations.