Many-valued aspects of tense an related operators
Logic
2025-04-25 v1 Category Theory
Abstract
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.
Keywords
Cite
@article{arxiv.2504.17654,
title = {Many-valued aspects of tense an related operators},
author = {Michal Botur and Jan Paseka and Richard Smolka},
journal= {arXiv preprint arXiv:2504.17654},
year = {2025}
}