Operadores clausura sobre o-categorías

Se presenta una noción de operador clausura sobre O-categorías. Se muestra que si una O-categoría tiene productos, objeto inicial, objetos terminal y exponenciales (bajo continuidad), la categoría de operadores clausura sobre ella, resulta ser una O-categoría y también tiene dichas construcciones. P...

Full description

Autores:
Gómez Perdomo, Jonatan
Tipo de recurso:
Article of journal
Fecha de publicación:
2000
Institución:
Universidad Nacional de Colombia
Repositorio:
Universidad Nacional de Colombia
Idioma:
spa
OAI Identifier:
oai:repositorio.unal.edu.co:unal/43751
Acceso en línea:
https://repositorio.unal.edu.co/handle/unal/43751
http://bdigital.unal.edu.co/33849/
Palabra clave:
Clousure operator
O-category
functor
Cartesian closed categories
poset
denotational semantics
Operador de Clausura
O-categoría
funtor
cartesianas categorías cerradas
poset
semántica denotativa
Rights
openAccess
License
Atribución-NoComercial 4.0 Internacional
id UNACIONAL2_eae1826efe4d50d9295fc4176fe651ea
oai_identifier_str oai:repositorio.unal.edu.co:unal/43751
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_abf2Gómez Perdomo, Jonatan43ef4bd0-7b88-44b2-8a35-e49c549101e53002019-06-28T12:24:20Z2019-06-28T12:24:20Z2000https://repositorio.unal.edu.co/handle/unal/43751http://bdigital.unal.edu.co/33849/Se presenta una noción de operador clausura sobre O-categorías. Se muestra que si una O-categoría tiene productos, objeto inicial, objetos terminal y exponenciales (bajo continuidad), la categoría de operadores clausura sobre ella, resulta ser una O-categoría y también tiene dichas construcciones. Por último, se demuestra que todo functor localmente continuo sobre una 0- categoría induce, de manera natural, un functor continuo sobre la categoría de operadores clausura.This paper introduces the notions of closure map and closure operator over O-categories. We prove that if a O-category has initial and final objects, products and exponentiation (up to continuity), so does the induced category of closure operators. We also prove that every continuous local functor over a O-category K induces, in a natural way, a continuous functor over the category of closure operators induced by K.application/pdfspaUniversidad Nacuional de Colombia; Sociedad Colombiana de matemáticashttp://revistas.unal.edu.co/index.php/recolma/article/view/33774Universidad Nacional de Colombia Revistas electrónicas UN Revista Colombiana de MatemáticasRevista Colombiana de MatemáticasRevista Colombiana de Matemáticas; Vol. 34, núm. 2 (2000); 103-111 0034-7426Gómez Perdomo, Jonatan (2000) Operadores clausura sobre o-categorías. Revista Colombiana de Matemáticas; Vol. 34, núm. 2 (2000); 103-111 0034-7426 .Operadores clausura sobre o-categoríasArtículo de revistainfo:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501http://purl.org/coar/resource_type/c_2df8fbb1http://purl.org/coar/version/c_970fb48d4fbd8a85Texthttp://purl.org/redcol/resource_type/ARTClousure operatorO-categoryfunctorCartesian closed categoriesposetdenotational semanticsOperador de ClausuraO-categoríafuntorcartesianas categorías cerradasposetsemántica denotativaORIGINAL33774-127027-1-PB.pdfapplication/pdf3632854https://repositorio.unal.edu.co/bitstream/unal/43751/1/33774-127027-1-PB.pdfe1121445331f183fe5809cbb4bff641cMD5133774-160005-1-PB.pdfapplication/pdf3633290https://repositorio.unal.edu.co/bitstream/unal/43751/2/33774-160005-1-PB.pdfde3147fd6d319172104aecf424f1760fMD52THUMBNAIL33774-127027-1-PB.pdf.jpg33774-127027-1-PB.pdf.jpgGenerated Thumbnailimage/jpeg5323https://repositorio.unal.edu.co/bitstream/unal/43751/3/33774-127027-1-PB.pdf.jpgcf410529c2312c1aca530eea1f7341b9MD5333774-160005-1-PB.pdf.jpg33774-160005-1-PB.pdf.jpgGenerated Thumbnailimage/jpeg6674https://repositorio.unal.edu.co/bitstream/unal/43751/4/33774-160005-1-PB.pdf.jpgdc80fb0202a05385da4d89685af771c2MD54unal/43751oai:repositorio.unal.edu.co:unal/437512023-02-14 23:05:13.513Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co
dc.title.spa.fl_str_mv Operadores clausura sobre o-categorías
title Operadores clausura sobre o-categorías
spellingShingle Operadores clausura sobre o-categorías
Clousure operator
O-category
functor
Cartesian closed categories
poset
denotational semantics
Operador de Clausura
O-categoría
funtor
cartesianas categorías cerradas
poset
semántica denotativa
title_short Operadores clausura sobre o-categorías
title_full Operadores clausura sobre o-categorías
title_fullStr Operadores clausura sobre o-categorías
title_full_unstemmed Operadores clausura sobre o-categorías
title_sort Operadores clausura sobre o-categorías
dc.creator.fl_str_mv Gómez Perdomo, Jonatan
dc.contributor.author.spa.fl_str_mv Gómez Perdomo, Jonatan
dc.subject.proposal.spa.fl_str_mv Clousure operator
O-category
functor
Cartesian closed categories
poset
denotational semantics
Operador de Clausura
O-categoría
funtor
cartesianas categorías cerradas
poset
semántica denotativa
topic Clousure operator
O-category
functor
Cartesian closed categories
poset
denotational semantics
Operador de Clausura
O-categoría
funtor
cartesianas categorías cerradas
poset
semántica denotativa
description Se presenta una noción de operador clausura sobre O-categorías. Se muestra que si una O-categoría tiene productos, objeto inicial, objetos terminal y exponenciales (bajo continuidad), la categoría de operadores clausura sobre ella, resulta ser una O-categoría y también tiene dichas construcciones. Por último, se demuestra que todo functor localmente continuo sobre una 0- categoría induce, de manera natural, un functor continuo sobre la categoría de operadores clausura.
publishDate 2000
dc.date.issued.spa.fl_str_mv 2000
dc.date.accessioned.spa.fl_str_mv 2019-06-28T12:24:20Z
dc.date.available.spa.fl_str_mv 2019-06-28T12:24:20Z
dc.type.spa.fl_str_mv Artículo de revista
dc.type.coar.fl_str_mv http://purl.org/coar/resource_type/c_2df8fbb1
dc.type.driver.spa.fl_str_mv info:eu-repo/semantics/article
dc.type.version.spa.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.coar.spa.fl_str_mv http://purl.org/coar/resource_type/c_6501
dc.type.coarversion.spa.fl_str_mv http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.content.spa.fl_str_mv Text
dc.type.redcol.spa.fl_str_mv http://purl.org/redcol/resource_type/ART
format http://purl.org/coar/resource_type/c_6501
status_str publishedVersion
dc.identifier.uri.none.fl_str_mv https://repositorio.unal.edu.co/handle/unal/43751
dc.identifier.eprints.spa.fl_str_mv http://bdigital.unal.edu.co/33849/
url https://repositorio.unal.edu.co/handle/unal/43751
http://bdigital.unal.edu.co/33849/
dc.language.iso.spa.fl_str_mv spa
language spa
dc.relation.spa.fl_str_mv http://revistas.unal.edu.co/index.php/recolma/article/view/33774
dc.relation.ispartof.spa.fl_str_mv Universidad Nacional de Colombia Revistas electrónicas UN Revista Colombiana de Matemáticas
Revista Colombiana de Matemáticas
dc.relation.ispartofseries.none.fl_str_mv Revista Colombiana de Matemáticas; Vol. 34, núm. 2 (2000); 103-111 0034-7426
dc.relation.references.spa.fl_str_mv Gómez Perdomo, Jonatan (2000) Operadores clausura sobre o-categorías. Revista Colombiana de Matemáticas; Vol. 34, núm. 2 (2000); 103-111 0034-7426 .
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
dc.publisher.spa.fl_str_mv Universidad Nacuional de Colombia; Sociedad Colombiana de matemáticas
institution Universidad Nacional de Colombia
bitstream.url.fl_str_mv https://repositorio.unal.edu.co/bitstream/unal/43751/1/33774-127027-1-PB.pdf
https://repositorio.unal.edu.co/bitstream/unal/43751/2/33774-160005-1-PB.pdf
https://repositorio.unal.edu.co/bitstream/unal/43751/3/33774-127027-1-PB.pdf.jpg
https://repositorio.unal.edu.co/bitstream/unal/43751/4/33774-160005-1-PB.pdf.jpg
bitstream.checksum.fl_str_mv e1121445331f183fe5809cbb4bff641c
de3147fd6d319172104aecf424f1760f
cf410529c2312c1aca530eea1f7341b9
dc80fb0202a05385da4d89685af771c2
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
repository.name.fl_str_mv Repositorio Institucional Universidad Nacional de Colombia
repository.mail.fl_str_mv repositorio_nal@unal.edu.co
_version_ 1814089506936061952

Publicaciones similares