Topos - Definición Formal

Un topos es una categoría que tiene las dos propiedades siguientes: Todos los límites sobre un conjunto finito de índices existen. Cada objeto tiene un objeto de partes. De aquí se pueden derivar los siguientes hechos, alguno, como el del clasificador de subobjetos, muy importante para la comprensión del concepto de topos: Todos los colímites sobre un conjunto finito de índices existen. La categoría tiene un clasificador de subobjetos. Cualesquiera dos objetos tienen objeto exponencial. La categoría es cartesiano cerrada.


Estos artículos también pueden ser interesantes para ti:

★ Topos - Sumario ★ ★ Topos - Introducción ★ ★ Topos - Historia ★ ★ Topos - Definición Formal ★ ★ Topos - Ejemplos Adicionales ★

Encuentra más artículos →

Este texto está bajo licencia Creative Commons Attribution-Share-Alike License 3.0. Más información / Autores