Sobre mónadas de prehaz discreta
Autores: Zhang, Gao; Zhang, Shaoqun
Idioma: Inglés
Editor: MDPI
Año: 2023
Acceso abierto
Artículo científico
2023
Sobre mónadas de prehaz discreta
Categoría
Matemáticas
Subcategoría
Análisis matemático
Palabras clave
Norma triangular
Mónada
Cuantale
Extensión de Barr
Ultrafiltro
Mónada de prehaz
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 24
Citaciones: Sin citaciones
Para un cuantale, que es un intervalo unitario dotado de una norma triangular continua y la extensión de Barr del ultrafiltro monádico a una caracterización del monad de presheaf discreto asociado a se da. También se demuestra que, cuando & es la norma triangular de ucasiewicz, el monad de presheaf discreto es isomorfo al monad de prefilter saturado, y cuando & es la norma triangular del producto, el monad de ideal funcional primo es isomorfo a un submonad del monad de presheaf discreto.
Descripción
Para un cuantale, que es un intervalo unitario dotado de una norma triangular continua y la extensión de Barr del ultrafiltro monádico a una caracterización del monad de presheaf discreto asociado a se da. También se demuestra que, cuando & es la norma triangular de ucasiewicz, el monad de presheaf discreto es isomorfo al monad de prefilter saturado, y cuando & es la norma triangular del producto, el monad de ideal funcional primo es isomorfo a un submonad del monad de presheaf discreto.