We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
On Discrete Presheaf Monads.
- Authors
Zhang, Gao; Zhang, Shaoqun
- Abstract
For a quantale I , which is a unit interval endowed with a continuous triangular norm and the Barr extension β ¯ I of the ultrafilter monad to I - Rel , a characterization of the discrete presheaf monad associated to β ¯ I is given. It is also proved that, when & is the Łucasiewicz triangular norm, the discrete presheaf monad is isomorphic to the saturated prefilter monad, and when & is the product triangular norm, the prime functional ideal monad is isomorphic to a submonad of the discrete presheaf monad.
- Subjects
TRIANGULAR norms; PRIME ideals
- Publication
Axioms (2075-1680), 2023, Vol 12, Issue 6, p610
- ISSN
2075-1680
- Publication type
Article
- DOI
10.3390/axioms12060610