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
id UNACIONAL2_9a6ea809355071d214ff78a5353c3db3
oai_identifier_str oai:repositorio.unal.edu.co:unal/21627
network_acronym_str UNACIONAL2
network_name_str Universidad Nacional de Colombia
repository_id_str
spelling Atribución-NoComercial 4.0 InternacionalDerechos reservados - Universidad Nacional de Colombiahttp://creativecommons.org/licenses/by-nc/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2De castro Korgi, RodrigoMuñoz Quiñones, Gerardo Alcides3ae3d931-96f2-4e6f-b1e7-3371fb2843953002019-06-25T19:31:53Z2019-06-25T19:31:53Z2013https://repositorio.unal.edu.co/handle/unal/21627http://bdigital.unal.edu.co/12590/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.Abstract. In [GW99] Rudolf Wille introduced the notion of bond as a morphism between Formal Contexts (which are Galois conexions between families of sets). However, neither [GW99] nor the subsequent bibliography shows that bonds satisfy the axioms of categorical morfisms. We first show in the present work that bonds satisfy the axioms of categorical morfisms and their category is named BOND. While trying to find a category based in bonds and equivalent to Scott Domains, we define both the category APX, based on the notion of approximable concepts used in [ZS06] and [HZ04], and the category DIS whose only difference with Scott Domais (as families of sets are concerned) is that morhipms do preserve intersection of sets. Taking those considerations into account, we develop the categories CONSIS and CORD inspired by Scott Information Systems (SIS). Lastly, by using [Gom99] we establish that CORD is equivalent to the cate- gory of Scott Information Systems and approximable mappings.Doctoradoapplication/pdfspaUniversidad Nacional de Colombia Sede Bogotá Facultad de Ciencias Departamento de MatemáticasDepartamento de MatemáticasMuñoz Quiñones, Gerardo Alcides (2013) Categorías de Contextos Formales. Doctorado thesis, Universidad Nacional de Colombia.51 Matemáticas / MathematicsAnálisis de conceptos formalesContextos formalesCategoríasCategoría de enlacesCategorías de familias de conjuntosSistemas de Información de ScottDominios de ScottOperadores clausuraFormal concept analysisFormal contextsCategories of families of setsCategories of bondsScott domainsScott Information SystemsClosure operatorsCategorías de Contextos FormalesTrabajo de grado - Doctoradoinfo:eu-repo/semantics/doctoralThesisinfo:eu-repo/semantics/acceptedVersionhttp://purl.org/coar/resource_type/c_db06Texthttp://purl.org/redcol/resource_type/TDORIGINALGerardoMunoz.2014.pdfapplication/pdf594981https://repositorio.unal.edu.co/bitstream/unal/21627/1/GerardoMunoz.2014.pdfdbcaf307cf26ada8585e4d0da5d18914MD51THUMBNAILGerardoMunoz.2014.pdf.jpgGerardoMunoz.2014.pdf.jpgGenerated Thumbnailimage/jpeg3679https://repositorio.unal.edu.co/bitstream/unal/21627/2/GerardoMunoz.2014.pdf.jpgaeea1d75bcb673105eecc1357db156cdMD52unal/21627oai:repositorio.unal.edu.co:unal/216272023-10-02 23:07:04.455Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co
dc.title.spa.fl_str_mv Categorías de Contextos Formales
title Categorías de Contextos Formales
spellingShingle Categorías de Contextos Formales
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
title_short Categorías de Contextos Formales
title_full Categorías de Contextos Formales
title_fullStr Categorías de Contextos Formales
title_full_unstemmed Categorías de Contextos Formales
title_sort Categorías de Contextos Formales
dc.creator.fl_str_mv Muñoz Quiñones, Gerardo Alcides
dc.contributor.author.spa.fl_str_mv Muñoz Quiñones, Gerardo Alcides
dc.contributor.spa.fl_str_mv De castro Korgi, Rodrigo
dc.subject.ddc.spa.fl_str_mv 51 Matemáticas / Mathematics
topic 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
dc.subject.proposal.spa.fl_str_mv 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
description 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.
publishDate 2013
dc.date.issued.spa.fl_str_mv 2013
dc.date.accessioned.spa.fl_str_mv 2019-06-25T19:31:53Z
dc.date.available.spa.fl_str_mv 2019-06-25T19:31:53Z
dc.type.spa.fl_str_mv Trabajo de grado - Doctorado
dc.type.driver.spa.fl_str_mv info:eu-repo/semantics/doctoralThesis
dc.type.version.spa.fl_str_mv info:eu-repo/semantics/acceptedVersion
dc.type.coar.spa.fl_str_mv http://purl.org/coar/resource_type/c_db06
dc.type.content.spa.fl_str_mv Text
dc.type.redcol.spa.fl_str_mv http://purl.org/redcol/resource_type/TD
format http://purl.org/coar/resource_type/c_db06
status_str acceptedVersion
dc.identifier.uri.none.fl_str_mv https://repositorio.unal.edu.co/handle/unal/21627
dc.identifier.eprints.spa.fl_str_mv http://bdigital.unal.edu.co/12590/
url https://repositorio.unal.edu.co/handle/unal/21627
http://bdigital.unal.edu.co/12590/
dc.language.iso.spa.fl_str_mv spa
language spa
dc.relation.ispartof.spa.fl_str_mv Universidad Nacional de Colombia Sede Bogotá Facultad de Ciencias Departamento de Matemáticas
Departamento de Matemáticas
dc.relation.references.spa.fl_str_mv Muñoz Quiñones, Gerardo Alcides (2013) Categorías de Contextos Formales. Doctorado thesis, Universidad Nacional de Colombia.
dc.rights.spa.fl_str_mv Derechos reservados - Universidad Nacional de Colombia
dc.rights.coar.fl_str_mv http://purl.org/coar/access_right/c_abf2
dc.rights.license.spa.fl_str_mv Atribución-NoComercial 4.0 Internacional
dc.rights.uri.spa.fl_str_mv http://creativecommons.org/licenses/by-nc/4.0/
dc.rights.accessrights.spa.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv Atribución-NoComercial 4.0 Internacional
Derechos reservados - Universidad Nacional de Colombia
http://creativecommons.org/licenses/by-nc/4.0/
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.mimetype.spa.fl_str_mv application/pdf
institution Universidad Nacional de Colombia
bitstream.url.fl_str_mv https://repositorio.unal.edu.co/bitstream/unal/21627/1/GerardoMunoz.2014.pdf
https://repositorio.unal.edu.co/bitstream/unal/21627/2/GerardoMunoz.2014.pdf.jpg
bitstream.checksum.fl_str_mv dbcaf307cf26ada8585e4d0da5d18914
aeea1d75bcb673105eecc1357db156cd
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositorio Institucional Universidad Nacional de Colombia
repository.mail.fl_str_mv repositorio_nal@unal.edu.co
_version_ 1814089323768709120