Son duales el uno al otro. Hay una dualidad inherente presente en la teoría de categorías, ya que invertir todas las flechas en una categoría produce una nueva categoría (la categoría opuesta). Como tal, cada vez que realiza una construcción para categorías, puede considerar la construcción conjunta al aplicarla en la categoría opuesta. El co-de un límite inverso (también llamado límite proyectivo) es el colimit (también llamado límite inductivo). Simplemente tiene la misma propiedad universal solo con todas las flechas en el diagrama invertidas.
Sin embargo, en la práctica, estas cosas pueden resultar bastante diferentes. Por ejemplo, para un sistema de espacios topológicos con solo los morfismos de identidad, el límite proyectivo es el producto cartesiano de todos esos espacios junto con la topología del producto.
Sin embargo, el límite inductivo es la unión disjunta de todos los espacios.
- ¿Cuál es la mejor manera de aprender matemáticas de manera autodidacta utilizando los materiales de cursos OCW (OpenCourseWare) del MIT?
- Cómo encontrar el valor de [math] \ ln 7 [/ math] sin usar tablas o calculadora
- ¿Cuáles son algunas secuencias sin fórmulas generales conocidas?
- ¿Las matemáticas que se descubren en el futuro existen hoy?
- ¿Cómo se demostró la contraparte china del teorema de Pitágoras? ¿Qué otros resultados matemáticos obtuvo esa escuela china temprana?
Cosas diferentes de hecho.