Topos

En matemática, un topos (plural: topos, topoi o toposes - asunto en disputa) es un tipo de categoría que proporciona cierto "concepto" que nos permite formular la matemática clásica "en su interior".

Introducción

Tradicionalmente, la matemática se construye usando teoría de conjuntos, y todos los objetos estudiados en matemática son en última instancia conjuntos y funciones. Se dice que la teoría de las categorías podría proporcionar unos mejores fundamentos para la matemática. Analizando exactamente qué propiedades de la categoría de conjuntos y de funciones son necesarias para expresar la matemática, se llega a la definición de topos, y se puede entonces formular la matemática de cualquier topos. Por supuesto, la categoría de conjuntos forma topos, trivialmente. En un topo más interesante, el axioma de elección puede no ser válido, o el principio del tercero excluido (cada proposición es verdadera o falsa) puede fallar. Es así de un cierto interés recoger aquellos teoremas que sean válidos en todo topos, no solamente en el topos de conjuntos. Uno puede también trabajar en topos particulares para concentrarse solamente en ciertos objetos. Por ejemplo, los constructivistas pueden estar interesados en los topos de todos los conjuntos y funciones "construíbles" en algún sentido. Si se considera importante cierta simetría bajo un grupo G, se puede utilizar el topos que consiste en todos los -espacios. Otro ejemplo importante de topos (e históricamente el primero) es la categoría de todos los haces de conjuntos sobre un Espacio topológico dado. Es también posible codificar una teoría lógica, tal como la teoría de todos los grupos, en topos. Los modelos individuales de la teoría, es decir los grupos en nuestro ejemplo, corresponden entonces a los funtores del topos de codificación a la categoría de conjuntos que respetan la estructura de topos.

Other Languages
العربية: توبوس
English: Topos
한국어: 토포스
မြန်မာဘာသာ: တိုပိုသီအိုရီ
Nederlands: Topos
svenska: Toposteori
中文: 拓撲斯