Teoría de categorías y pruebas de consistencia
dc.audience | generalPublic | es_MX |
dc.contributor | Martínez Ruiz, Iván | |
dc.contributor.advisor | MARTINEZ RUIZ, IVAN; 205993 | |
dc.contributor.author | Carranza Loaiza, Ana Margarita | |
dc.creator | CARRANZA LOAIZA, ANA MARGARITA; 562458 | |
dc.date.accessioned | 2020-11-10T20:33:55Z | |
dc.date.available | 2020-11-10T20:33:55Z | |
dc.date.issued | 2015-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.folio | 427615T | es_MX |
dc.format | es_MX | |
dc.identificator | 1 | es_MX |
dc.identifier.uri | https://hdl.handle.net/20.500.12371/8960 | |
dc.language.iso | spa | es_MX |
dc.matricula.creator | 213470917 | es_MX |
dc.publisher | Benemérita Universidad Autónoma de Puebla | es_MX |
dc.rights.acces | openAccess | es_MX |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0 | es_MX |
dc.subject.classification | CIENCIAS FÍSICO MATEMÁTICAS Y CIENCIAS DE LA TIERRA | es_MX |
dc.subject.lcc | Teoría de conjuntos | es_MX |
dc.subject.lcc | Categorías (Matemáticas)--Investigación | es_MX |
dc.subject.lcc | Problemas extremos (Matemáticas) | es_MX |
dc.subject.lcc | Topos (Matemáticas) | es_MX |
dc.subject.lcc | Categorías de Grothendieck | es_MX |
dc.thesis.career | Maestría en Ciencias (Matemáticas) | es_MX |
dc.thesis.degreediscipline | Área de Ingeniería y Ciencias Exactas | es_MX |
dc.thesis.degreegrantor | Facultad de Ciencias Físico Matemáticas | es_MX |
dc.thesis.degreetoobtain | Maestro (a) en Ciencias (Matemáticas) | es_MX |
dc.thesis.degreetoobtain | Maestro (a) en Ciencias (Matemáticas) | es_MX |
dc.title | Teoría de categorías y pruebas de consistencia | es_MX |
dc.type | Tesis de maestría | es_MX |
dc.type.conacyt | masterThesis | es_MX |
dc.type.degree | Maestría | es_MX |