Morfismos entre álgebras implicativas

Autores: Steinberg, Matilda Lior
Año de publicación: 2026
Idioma: español castellano
Tipo de recurso: tesis doctoral
Estado: versión publicada
Colaborador/a o director/a de tesis: Miquel, Alexandre
Pagano, Miguel María
Descripción: Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación, 2026.
Fil: Steinberg, Matilda Lior. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
El objetivo de esta tesis es determinar y desarrollar las estructuras categóricas subyacentes a las álgebras implicativas, una generalización de las álgebras de Heyting completas con filtro. Definimos los morfismos aplicativos entre álgebras implicativas y vemos los límites de la categoría de las álgebras implicativas con morfismos aplicativos. Luego, cocientamos los morfismos aplicativos y obtenemos una categoría que tiene todos los productos y es equivalente a la de los triposes con transformaciones naturales que preservan ínfimos finitos. Con un trabajo similar, definimos los morfismos geométricos implicativos entre álgebras implicativas y demostramos que, al cocientar los morfismos geométricos implicativos, obtenemos una categoría equivalente a la de los triposes con morfismos geométricos.
Fil: Steinberg, Matilda Lior. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
Materia: Higher order logic
Álgebras implicativas
Tripos
Morfismos aplicativos
Morfismos geométricos
Topos
Implicative algebras
Nivel de accesibilidad: acceso abierto
Condiciones de uso
Repositorio
Institución: Universidad Nacional de Córdoba
OAI Identificador: oai:rdu.unc.edu.ar:11086/561978

Acceder

id	RDUUNC_1384620fc4451690ace08727b77d01fc
oai_identifier_str	oai:rdu.unc.edu.ar:11086/561978
network_acronym_str	RDUUNC
repository_id_str	2572
network_name_str	Repositorio Digital Universitario (UNC)
spelling	Morfismos entre álgebras implicativasSteinberg, Matilda LiorHigher order logicÁlgebras implicativasTriposMorfismos aplicativosMorfismos geométricosToposImplicative algebrasTesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación, 2026.Fil: Steinberg, Matilda Lior. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.El objetivo de esta tesis es determinar y desarrollar las estructuras categóricas subyacentes a las álgebras implicativas, una generalización de las álgebras de Heyting completas con filtro. Definimos los morfismos aplicativos entre álgebras implicativas y vemos los límites de la categoría de las álgebras implicativas con morfismos aplicativos. Luego, cocientamos los morfismos aplicativos y obtenemos una categoría que tiene todos los productos y es equivalente a la de los triposes con transformaciones naturales que preservan ínfimos finitos. Con un trabajo similar, definimos los morfismos geométricos implicativos entre álgebras implicativas y demostramos que, al cocientar los morfismos geométricos implicativos, obtenemos una categoría equivalente a la de los triposes con morfismos geométricos.Fil: Steinberg, Matilda Lior. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.Miquel, AlexandrePagano, Miguel María2026-03info:eu-repo/semantics/doctoralThesisinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_db06info:ar-repo/semantics/tesisDoctoralapplication/pdfhttp://hdl.handle.net/11086/561978spainfo:eu-repo/semantics/openAccessreponame:Repositorio Digital Universitario (UNC)instname:Universidad Nacional de Córdobainstacron:UNC2026-10-01T10:24:25Zoai:rdu.unc.edu.ar:11086/561978Institucionalhttps://rdu.unc.edu.ar/Universidad públicaNo correspondehttp://rdu.unc.edu.ar/oai/snrdoca.unc@gmail.comArgentinaNo correspondeNo correspondeNo correspondeopendoar:25722026-10-01 10:24:26.815Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdobafalse
dc.title.none.fl_str_mv	Morfismos entre álgebras implicativas
title	Morfismos entre álgebras implicativas
spellingShingle	Morfismos entre álgebras implicativas Steinberg, Matilda Lior Higher order logic Álgebras implicativas Tripos Morfismos aplicativos Morfismos geométricos Topos Implicative algebras
title_short	Morfismos entre álgebras implicativas
title_full	Morfismos entre álgebras implicativas
title_fullStr	Morfismos entre álgebras implicativas
title_full_unstemmed	Morfismos entre álgebras implicativas
title_sort	Morfismos entre álgebras implicativas
dc.creator.none.fl_str_mv	Steinberg, Matilda Lior
author	Steinberg, Matilda Lior
author_facet	Steinberg, Matilda Lior
author_role	author
dc.contributor.none.fl_str_mv	Miquel, Alexandre Pagano, Miguel María
dc.subject.none.fl_str_mv	Higher order logic Álgebras implicativas Tripos Morfismos aplicativos Morfismos geométricos Topos Implicative algebras
topic	Higher order logic Álgebras implicativas Tripos Morfismos aplicativos Morfismos geométricos Topos Implicative algebras
dc.description.none.fl_txt_mv	Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación, 2026. Fil: Steinberg, Matilda Lior. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina. El objetivo de esta tesis es determinar y desarrollar las estructuras categóricas subyacentes a las álgebras implicativas, una generalización de las álgebras de Heyting completas con filtro. Definimos los morfismos aplicativos entre álgebras implicativas y vemos los límites de la categoría de las álgebras implicativas con morfismos aplicativos. Luego, cocientamos los morfismos aplicativos y obtenemos una categoría que tiene todos los productos y es equivalente a la de los triposes con transformaciones naturales que preservan ínfimos finitos. Con un trabajo similar, definimos los morfismos geométricos implicativos entre álgebras implicativas y demostramos que, al cocientar los morfismos geométricos implicativos, obtenemos una categoría equivalente a la de los triposes con morfismos geométricos. Fil: Steinberg, Matilda Lior. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
description	Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación, 2026.
publishDate	2026
dc.date.none.fl_str_mv	2026-03
dc.type.none.fl_str_mv	info:eu-repo/semantics/doctoralThesis info:eu-repo/semantics/publishedVersion http://purl.org/coar/resource_type/c_db06 info:ar-repo/semantics/tesisDoctoral
format	doctoralThesis
status_str	publishedVersion
dc.identifier.none.fl_str_mv	http://hdl.handle.net/11086/561978
url	http://hdl.handle.net/11086/561978
dc.language.none.fl_str_mv	spa
language	spa
dc.rights.none.fl_str_mv	info:eu-repo/semantics/openAccess
eu_rights_str_mv	openAccess
dc.format.none.fl_str_mv	application/pdf
dc.source.none.fl_str_mv	reponame:Repositorio Digital Universitario (UNC) instname:Universidad Nacional de Córdoba instacron:UNC
reponame_str	Repositorio Digital Universitario (UNC)
collection	Repositorio Digital Universitario (UNC)
instname_str	Universidad Nacional de Córdoba
instacron_str	UNC
institution	UNC
repository.name.fl_str_mv	Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdoba
repository.mail.fl_str_mv	oca.unc@gmail.com
_version_	1877859157273477120
score	12.854657

Morfismos entre álgebras implicativas

Publicaciones similares