12 citations · 55 across the 30 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
math.CT2022
Reflectors to quantales
Xia Zhang, Jan Paseka, Jianjun Feng +1
In this paper, we show that marked quantales have a reflection into quantales. To obtain the reflection we construct free quantales over marked quantales using appropriate lower se…
math.RA2022
Another look on tense and related operators
Michal Botur, Jan Paseka, Richard Smolka
Motivated by the classical work of Halmos on functional monadic Boolean algebras we derive three basic sup-semilattice constructions, among other things the so-called powersets and…