Categorías de Contextos Formales

En [GW99] Rudolf Wille introdujo los enlaces (bonds) como morfismos entre Contextos Formales (estos últimos son conexiones de Galois entre familias de conjuntos). Sin embargo, ni en [GW99] ni en la bibliografía consultada se muestra que los enlaces cumplen los axio- mas de morfismo categórico. Lo prim...

Full description

Autores:
Muñoz Quiñones, Gerardo Alcides
Tipo de recurso:
Doctoral thesis
Fecha de publicación:
2013
Institución:
Universidad Nacional de Colombia
Repositorio:
Universidad Nacional de Colombia
Idioma:
spa
OAI Identifier:
oai:repositorio.unal.edu.co:unal/21627
Acceso en línea:
https://repositorio.unal.edu.co/handle/unal/21627
http://bdigital.unal.edu.co/12590/
Palabra clave:
51 Matemáticas / Mathematics
Análisis de conceptos formales
Contextos formales
Categorías
Categoría de enlaces
Categorías de familias de conjuntos
Sistemas de Información de Scott
Dominios de Scott
Operadores clausura
Formal concept analysis
Formal contexts
Categories of families of sets
Categories of bonds
Scott domains
Scott Information Systems
Closure operators
Rights
openAccess
License
Atribución-NoComercial 4.0 Internacional
Description
Summary:En [GW99] Rudolf Wille introdujo los enlaces (bonds) como morfismos entre Contextos Formales (estos últimos son conexiones de Galois entre familias de conjuntos). Sin embargo, ni en [GW99] ni en la bibliografía consultada se muestra que los enlaces cumplen los axio- mas de morfismo categórico. Lo primero que se muestra en este trabajo es que los enlaces cumplen los axiomas de morfismos categóricos y su categoría se llama BOND. En el camino de encontrar una categoría basada en los enlaces equivalente a los Dominios de Scott se definen la categoría APX, que está basada en los conceptos aproximables de [ZS06] y [HZ04], y la categoría DIS, en la que su equivalente en familias de conjuntos sólo se diferencia de los Dominios de Scott en que los morfismos preservan las intersecciones de conjuntos. Por tal motivo se desarrollaron las categorías basadas en los enlaces CONSIS y CORD, las cuales fueron inspirada en los Sistemas de Información de Scott (SIS). Finalmente se probó, usando [Gom99], que CORD es equivalente a la categoría de los Sistemas de Información de Scott con sus funciones aproximables.