Topoi y teorías de conjuntos locales: Una introducción

La teoría de topos ha llevado a conexiones inesperadas entre las matemáticas clásicas y las constructivas. Este texto explora el concepto de teoría de topos de Lawvere y Tierney, un desarrollo en la teoría de categorías que une nociones importantes, pero aparentemente diversas, de la geometría algebraica, la teoría de conjuntos y la lógica intuicionista. Una introducción prácticamente autocontenida, este volumen presenta los topos como los modelos de teorías —conocidas como teorías de conjuntos locales— formuladas dentro de una lógica intuicionista tipificada.
El capítulo introductorio explora elementos de la teoría de categorías, incluyendo límites y colímites, funtores, adjunciones, categorías cerradas cartesianas y conexiones de Galois. Los capítulos siguientes examinan el concepto de topos, las teorías de conjuntos locales, las propiedades fundamentales de los topos, los haces, los conjuntos con valores de locales y los números naturales y reales en las teorías de conjuntos locales. Un epílogo explora la mayor significación de la teoría de topos, y el texto concluye con suplementos útiles, incluyendo un apéndice, notas históricas y bibliográficas, referencias e índices.

Autor: J. L. Bell
Editorial: Dover Publications
Publicado: 01/11/2008
Páginas: 267
Tipo de encuadernación: Tapa blanda
Peso: 0.65lbs
Tamaño: 8.41h x 5.51w x 0.56d
ISBN13: 9780486462868
ISBN10: 0486462862
Categorías BISAC:
- Matemáticas | Teoría de Conjuntos

Acerca del autor
J. L. Bell es profesor en la Universidad de Western Ontario y coautor de Models and Ultraproducts de Dover.

Este título no es retornable