De acuerdo con la Teoría Superior de Topos matemáticas / 0608040 un topos es
una categoría C que se comporta como el categoría de conjuntos, o (más generalmente) la categoría de gavillas de conjuntos en un espacio topológico.
¿Podría uno dar más detalles al respecto?
La entrada nLab: topos proporciona algunos detalles más y, en particular, proporciona más enlaces, también a material en toposes más altos.
Urs Schreiber
I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.
