Un estudio algebraico de la teoría de conjuntos

Simple item page
dc.audiencegeneralPublices_MX
dc.contributorMartínez Ruíz, Juan
dc.contributor.authorLeón Medina, José Luis
dc.creatorLEON MEDINA, JOSE LUIS; 701738
dc.date.accessioned2020-11-26T22:49:13Z
dc.date.available2020-11-26T22:49:13Z
dc.date.issued2015-07
dc.description.abstract“En el capítulo 1 se presentan las nociones básicas de categorías, se establece la notación que se usará a lo largo de la tesis y se enuncian las propiedades que definen a un topos. En el capítulo 2 se desarrollan los lenguajes de tipos dependientes que darán origen a teorías de conjuntos (locales) y más aún a categorías de conjuntos locales que cumplen propiedades similares a la categoría de conjuntos Set, en específico estas categorías resultan ser topos llamados topos lingüísticos (por su origen a partir de un lenguaje de tipos), posteriormente se presenta el teorema de equivalencia que asegura que todo topos es un topos lingüístico y que demostrar proposiciones por medios categóricos en topos es equivalente a demostrarlas usando la “lógica interna” que possen. Es de notar que las teorías de conjuntos locales tienen ciertas desventajas comparadas con las teorías de conjuntos clásicas (ZFC y NBG); por tal razón se inició el estudio de equivalencias entre teorías de conjuntos y topos que poseían cierta estructura adicional, en particular con el objetivo de eliminar las restricciones de las operaciones relativas a la igualdad de tipos de los operandos”.es_MX
dc.folio459215TLes_MX
dc.formatpdfes_MX
dc.identificator1es_MX
dc.identifier.urihttps://hdl.handle.net/20.500.12371/9375
dc.language.isospaes_MX
dc.matricula.creator200928927es_MX
dc.rights.accesopenAccesses_MX
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0es_MX
dc.subject.classificationCIENCIAS FÍSICO MATEMÁTICAS Y CIENCIAS DE LA TIERRAes_MX
dc.subject.dbgunamTeorías matemáticases_MX
dc.subject.lccLógica simbólica y matemáticaes_MX
dc.subject.lccCategorías (Matemáticas)es_MX
dc.subject.lccÁlgebra homológicaes_MX
dc.subject.oclcTopos (Matemáticas)es_MX
dc.thesis.careerLicenciatura en Matemáticases_MX
dc.thesis.degreedisciplineÁrea de Ingeniería y Ciencias Exactases_MX
dc.thesis.degreegrantorFacultad de Ciencias Físico Matemáticases_MX
dc.thesis.degreetoobtainLicenciado (a) en Matemáticases_MX
dc.titleUn estudio algebraico de la teoría de conjuntoses_MX
dc.typeTesis de licenciaturaes_MX
dc.type.conacytbachelorThesises_MX
dc.type.degreeLicenciaturaes_MX
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
459215TL.pdf
Size:
685.43 KB
Format:
Adobe Portable Document Format
Download
License bundle
Now showing 1 - 1 of 1
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
Tesis de Licenciatura