Topos


Topos
Para la familia de mamíferos que incluye a topos y desmanes, véase Talpidae.
Para la escultura de Eduardo Chillida, véase Topos V.

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".

Contenido

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 topos 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 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.

Historia

El origen histórico de la teoría de topos es la Geometría algebraica. Alexander Grothendieck generalizó el concepto de haz. El resultado es la categoría de haces con respecto a una topología de Grothendieck - también llamada topos de Grothendieck. F. W. Lawvere decantó el contenido lógico de esta estructura, y sus axiomas condujeron a la noción actual. Observe que la noción de Lawvere, inicialmente llamada topos elemental, es más general que la de Grothendieck, y es la que hoy en día se llama, simplemente, "topos".

Definición formal

Un topos es una categoría que tiene las dos propiedades siguientes:

  1. Todos los límites sobre un conjunto finito de índices existen.
  2. 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:

  1. Todos los colímites sobre un conjunto finito de índices existen.
  2. La categoría tiene un clasificador de subobjetos.
  3. Cualesquiera dos objetos tienen objeto exponencial.
  4. La categoría es cartesiano cerrada.

Ejemplos adicionales

Hay una clase importante de ejemplos de topos que no fue presentado en la introducción: si C es una categoría pequeña, entonces la categoría de funtores SetC (consistente en todos los funtores covariantes de C a los conjuntos, con las transformaciones naturales como morfismos) son topos. Por ejemplo, la categoría de todos los grafos dirigidos son topos. Un grafo consiste en dos conjuntos, un conjunto de flechas y un conjunto de vértices, y dos funciones entre esos conjuntos, asignando a cada flecha su vértices inicial y final. La categoría de grafos es así equivalente a la categoría de funtores SetC, donde C con dos objetos unidos por dos morfismos.

Las categorías de los conjuntos finitos, de G-espacios finitos y de grafos dirigidos finitos son también topos.

Ejemplos extraídos del campo de la lógica deberían venir aquí ahora.

Referencias

Ser vivo más conocido como Rafael Baños Cobos.


Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Topos — (der, Plural Topoi; griech. τόπος, „Ort“) steht für: Topos (Mathematik), ein Begriff der Kategorientheorie, eine Verallgemeinerung eines topologischen Raums oder einer Menge Topos – Internationale Beiträge zur dialektischen Theorie, eine… …   Deutsch Wikipedia

  • Topos V — Topos V, conocida comúnmente como Topos, es una escultura del artista español Eduardo Chillida Juantegui, situada en el centro del barrio gótico de Barcelona en la plaza del Rey. Con motivo de una exposición que la Fundación Miró dedicó a… …   Wikipedia Español

  • Topos — Sm feste Wendung, Bild per. Wortschatz fach. (20. Jh.) Entlehnung. Entlehnt aus gr. tópos, eigentlich Ort, Stelle . Zunächst so bezeichnet als die Orte, an denen man bestimmten Redeschmuck finden kann ; dann metonymisch übertragen auf die… …   Etymologisches Wörterbuch der deutschen sprache

  • topos — TÓPOS s. n. loc comun într o creaţie literară, într o literatură etc.; idee, temă, modalitate de tratare comună mai multor creaţii literare aparţinând aceluiaşi gen, aceleiaşi sau mai multor literaturi. (< gr. topos) Trimis de raduborza, 15.09 …   Dicționar Român

  • topos — / tɔpos/ s.m. [dal gr. tópos luogo ] (pl. tòpoi ). [motivo ricorrente in un opera, nella tematica di un autore, di un epoca e sim.] ▶◀ luogo comune. ‖ frase fatta, slogan …   Enciclopedia Italiana

  • topos — (n.) 1948, from Gk. topos, lit. place …   Etymology dictionary

  • topos — tȍpos m DEFINICIJA 1. knjiš. opće mjesto, stalno stilsko mjesto; tipizirani motiv u književnom djelu 2. meton. pejor. tradicionalni način mišljenja i izražavanja; otrcana fraza, utvrđen kliše ETIMOLOGIJA grč. tópos: mjesto …   Hrvatski jezični portal

  • topos —    tòpos    (s.m.) luogo …   Dizionario di retorica par stefano arduini & matteo damiani

  • topos — [tō′pōs] n. pl. topoi [tō′poi] 1. a common or recurring topic, theme, subject, etc. 2. a literary convention or formula …   English World dictionary

  • Topos — For topoi in literary theory, see Literary topos. For topoi in rhetorical invention, see Inventio. In mathematics, a topos (plural topoi or toposes ) is a type of category that behaves like the category of sheaves of sets on a topological space.… …   Wikipedia