Sobre bonos para retículos conceptuales generalizados de un solo lado
Autores: Pócs, Jozef; Pócsová, Jana
Idioma: Inglés
Editor: MDPI
Año: 2021
Acceso abierto
Artículo científico
2021
Sobre bonos para retículos conceptuales generalizados de un solo lado
Categoría
Matemáticas
Subcategoría
Matemáticas generales
Palabras clave
Generalizado
Unilateral
Retículos conceptuales
Contextos formales
Relaciones intercontextuales
Vínculos
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 26
Citaciones: Sin citaciones
Las retículas conceptuales unilaterales generalizadas representan una generalización del método clásico de ACF conveniente para un análisis jerárquico de modelos de objeto-atributo con diferentes tipos de atributos. Los tipos mencionados de modelos de objeto-atributo se formalizan dentro de la teoría como contextos formales de un cierto tipo. El objetivo de este artículo es investigar algunas relaciones intercontextuales representadas por la noción de enlace. Se define una composición de enlaces para introducir la categoría de contextos formales con enlaces como morfismos. Se muestra que hay una correspondencia biunívoca entre los enlaces y los mapeos que preservan supremos entre las retículas conceptuales unilaterales generalizadas correspondientes. Como resultado teórico principal se muestra que la categoría introducida de contextos formales con enlaces es equivalente a la categoría de retículas completas con mapeos que preservan supremos como morfismos.
Descripción
Las retículas conceptuales unilaterales generalizadas representan una generalización del método clásico de ACF conveniente para un análisis jerárquico de modelos de objeto-atributo con diferentes tipos de atributos. Los tipos mencionados de modelos de objeto-atributo se formalizan dentro de la teoría como contextos formales de un cierto tipo. El objetivo de este artículo es investigar algunas relaciones intercontextuales representadas por la noción de enlace. Se define una composición de enlaces para introducir la categoría de contextos formales con enlaces como morfismos. Se muestra que hay una correspondencia biunívoca entre los enlaces y los mapeos que preservan supremos entre las retículas conceptuales unilaterales generalizadas correspondientes. Como resultado teórico principal se muestra que la categoría introducida de contextos formales con enlaces es equivalente a la categoría de retículas completas con mapeos que preservan supremos como morfismos.