Congruences in regular categories

Se investiga la composición de congruencias en categorías regulares y se demuestra, entre otros resultados, que la condición de Lawvere (toda relación de equivalencia es una congruencia) es equivalente en tales categorías a cualquiera de las siguientes propiedades: (i) la compuesta de congruencias q...

Full description

Autores:
Burgess, W. D.
Caicedo, X.
Tipo de recurso:
Article of journal
Fecha de publicación:
1981
Institución:
Universidad Nacional de Colombia
Repositorio:
Universidad Nacional de Colombia
Idioma:
spa
OAI Identifier:
oai:repositorio.unal.edu.co:unal/42631
Acceso en línea:
https://repositorio.unal.edu.co/handle/unal/42631
http://bdigital.unal.edu.co/32728/
Palabra clave:
Condición de Lawvere
compuesta de congruencias
algebra universal / Lawvere condition
composed of congruences
universal algebra
Rights
openAccess
License
Atribución-NoComercial 4.0 Internacional
id UNACIONAL2_8ba623f91612945c5447b01611233497
oai_identifier_str oai:repositorio.unal.edu.co:unal/42631
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_abf2Burgess, W. D.1b8feede-6db7-4d9f-95c4-b7c24fb16374300Caicedo, X.1bc70b31-00c9-41e5-a245-c3b782106d193002019-06-28T11:01:03Z2019-06-28T11:01:03Z1981https://repositorio.unal.edu.co/handle/unal/42631http://bdigital.unal.edu.co/32728/Se investiga la composición de congruencias en categorías regulares y se demuestra, entre otros resultados, que la condición de Lawvere (toda relación de equivalencia es una congruencia) es equivalente en tales categorías a cualquiera de las siguientes propiedades: (i) la compuesta de congruencias que conmutan es una congruencia, (ii) un morfismo regular con congruencia r envía toda congruencia que conmuta con r a una congruencia en la imagen, (iii) cualquier par de morfismos regulares con congruencias que conmutan y tienen intersección trivial posee un "pushout" que es simultáneamente un "pullback". Con  lo anterior es posible caracterizar las categorías regulares en las que la compuesta de congruencias es siempre una congruencia, generalizando así hechos bien conocidos del Algebra Universal.application/pdfspaUniversidad Nacuional de Colombia; Sociedad Colombiana de matemáticashttp://revistas.unal.edu.co/index.php/recolma/article/view/32301Universidad Nacional de Colombia Revistas electrónicas UN Revista Colombiana de MatemáticasRevista Colombiana de MatemáticasRevista Colombiana de Matemáticas; Vol. 15, núm. 1-2 (1981); 43-63 0034-7426Burgess, W. D. and Caicedo, X. (1981) Congruences in regular categories. Revista Colombiana de Matemáticas; Vol. 15, núm. 1-2 (1981); 43-63 0034-7426 .Congruences in regular categoriesArtí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/ARTCondición de Lawverecompuesta de congruenciasalgebra universal / Lawvere conditioncomposed of congruencesuniversal algebraORIGINAL32301-119448-1-PB.pdfapplication/pdf7970426https://repositorio.unal.edu.co/bitstream/unal/42631/1/32301-119448-1-PB.pdfdc5ba1a55a17b029138513af1b342518MD51THUMBNAIL32301-119448-1-PB.pdf.jpg32301-119448-1-PB.pdf.jpgGenerated Thumbnailimage/jpeg7363https://repositorio.unal.edu.co/bitstream/unal/42631/2/32301-119448-1-PB.pdf.jpg34f932b67eaae7b760cbf7e2712ca0efMD52unal/42631oai:repositorio.unal.edu.co:unal/426312024-02-06 23:06:31.051Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co
dc.title.spa.fl_str_mv Congruences in regular categories
title Congruences in regular categories
spellingShingle Congruences in regular categories
Condición de Lawvere
compuesta de congruencias
algebra universal / Lawvere condition
composed of congruences
universal algebra
title_short Congruences in regular categories
title_full Congruences in regular categories
title_fullStr Congruences in regular categories
title_full_unstemmed Congruences in regular categories
title_sort Congruences in regular categories
dc.creator.fl_str_mv Burgess, W. D.
Caicedo, X.
dc.contributor.author.spa.fl_str_mv Burgess, W. D.
Caicedo, X.
dc.subject.proposal.spa.fl_str_mv Condición de Lawvere
compuesta de congruencias
algebra universal / Lawvere condition
composed of congruences
universal algebra
topic Condición de Lawvere
compuesta de congruencias
algebra universal / Lawvere condition
composed of congruences
universal algebra
description Se investiga la composición de congruencias en categorías regulares y se demuestra, entre otros resultados, que la condición de Lawvere (toda relación de equivalencia es una congruencia) es equivalente en tales categorías a cualquiera de las siguientes propiedades: (i) la compuesta de congruencias que conmutan es una congruencia, (ii) un morfismo regular con congruencia r envía toda congruencia que conmuta con r a una congruencia en la imagen, (iii) cualquier par de morfismos regulares con congruencias que conmutan y tienen intersección trivial posee un "pushout" que es simultáneamente un "pullback". Con  lo anterior es posible caracterizar las categorías regulares en las que la compuesta de congruencias es siempre una congruencia, generalizando así hechos bien conocidos del Algebra Universal.
publishDate 1981
dc.date.issued.spa.fl_str_mv 1981
dc.date.accessioned.spa.fl_str_mv 2019-06-28T11:01:03Z
dc.date.available.spa.fl_str_mv 2019-06-28T11:01:03Z
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/42631
dc.identifier.eprints.spa.fl_str_mv http://bdigital.unal.edu.co/32728/
url https://repositorio.unal.edu.co/handle/unal/42631
http://bdigital.unal.edu.co/32728/
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/32301
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. 15, núm. 1-2 (1981); 43-63 0034-7426
dc.relation.references.spa.fl_str_mv Burgess, W. D. and Caicedo, X. (1981) Congruences in regular categories. Revista Colombiana de Matemáticas; Vol. 15, núm. 1-2 (1981); 43-63 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/42631/1/32301-119448-1-PB.pdf
https://repositorio.unal.edu.co/bitstream/unal/42631/2/32301-119448-1-PB.pdf.jpg
bitstream.checksum.fl_str_mv dc5ba1a55a17b029138513af1b342518
34f932b67eaae7b760cbf7e2712ca0ef
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_ 1814089935483830272