Teoría de categorías y pruebas de consistencia

dc.audiencegeneralPublices_MX
dc.contributorMartínez Ruiz, Iván
dc.contributor.advisorMARTINEZ RUIZ, IVAN; 205993
dc.contributor.authorCarranza Loaiza, Ana Margarita
dc.creatorCARRANZA LOAIZA, ANA MARGARITA; 562458
dc.date.accessioned2020-11-10T20:33:55Z
dc.date.available2020-11-10T20:33:55Z
dc.date.issued2015-07
dc.description.abstract“El problema de la consistencia e independencia de las proposiciones matemáticas aparece cuando se intenta axiomatizar la matemática. Paul Cohen desarrolla la técnica llamada forcing para la construcción de modelos de extensiones de ZFC. Por otra parte, F. W. Lawvere en su investigación para una axiomatización de la categoría de conjuntos da la definición de un topos tal y como la conocemos hoy en día, que básicamente es una categoría en la que son posibles las construcciones más básicas con las que se trabaja en matemáticas. Por su parte la teoría de Categorías desde su nacimiento ha mostrado ser una herramienta bastante útil para la comprensión y generalización de relaciones entre los objetos matemáticos, aportando claridad y sencillez en su desarrollo, aunque con una carga de abstracción detrás de ello. En el siguiente trabajo se estudia el material necesario para entender y realizar pruebas de consistencia categóricas lo cual se hace dentro del ambiente de la teoría de topos. En particular nuestro estudio se centra en los topos de Grothendieck que son categorías de gavillas definidas sobre un sitio de Grothendieck”.es_MX
dc.folio427615Tes_MX
dc.formatpdfes_MX
dc.identificator1es_MX
dc.identifier.urihttps://hdl.handle.net/20.500.12371/8960
dc.language.isospaes_MX
dc.matricula.creator213470917es_MX
dc.publisherBenemérita Universidad Autónoma de Pueblaes_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.lccTeoría de conjuntoses_MX
dc.subject.lccCategorías (Matemáticas)--Investigaciónes_MX
dc.subject.lccProblemas extremos (Matemáticas)es_MX
dc.subject.lccTopos (Matemáticas)es_MX
dc.subject.lccCategorías de Grothendieckes_MX
dc.thesis.careerMaestría en Ciencias (Matemáticas)es_MX
dc.thesis.degreedisciplineÁrea de Ingeniería y Ciencias Exactases_MX
dc.thesis.degreegrantorFacultad de Ciencias Físico Matemáticases_MX
dc.thesis.degreetoobtainMaestro (a) en Ciencias (Matemáticas)es_MX
dc.thesis.degreetoobtainMaestro (a) en Ciencias (Matemáticas)es_MX
dc.titleTeoría de categorías y pruebas de consistenciaes_MX
dc.typeTesis de maestríaes_MX
dc.type.conacytmasterThesises_MX
dc.type.degreeMaestríaes_MX
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
427615T.pdf
Size:
720.44 KB
Format:
Adobe Portable Document Format
Description:
License bundle
Now showing 1 - 1 of 1
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description: