Anexo:Glosario de teoría de categorías

Esto es una lista de tópicos en Teoría de categorías.

Categorías concretas

• Categoría de conjuntos
  • Categorías Concretas
• K-Vect
• Categoría de espacios topológicos
• Categoría de espacios métricos
• Categoría de conjuntos preordenados
• Categoría de grupos abelianos
• Categoría de magmas
• Categoría de magmas mediales

Objetos

• Objeto inicial
• Objeto Cero
• Objeto terminal
• Subobjeto
• Objeto Grupo de una categoría
• Objeto (auto) magma

Morfismos

• Morfismo cero
• Morfismo normal
• Dual (Teoría de categorías)
• Grupoide
• Imagen (Teoría de categorías)
• Diagrama conmutativo

Funtores

• Isomorfismo de categorías
• Transformación natural
• Equivalencia de categorías
• Funtor fiel
• Lema de Yoneda
• Categoría de funtores
• Funtores adjuntos
  • Conexión de Galois
  • Dualidad de Pontryagin
  • Esquema afín
• Mónada (Teoría de categorías)
• Comónada
• Especies combinatoriales
• Functor exacto
• Funtor derivado
• Funtor enriquecido

Límites

• límite (Teoría de categorías)
  • Límite inverso
    • Producto (Teoría de categorías)
    • Ecualizador
    • Kernel (Teoría de categorías)
    • Pullback, Producto fibrado
    • Grupo profinito
  • Límite directo
    • Coproducto
• Biproducto
  • Suma directa

Estructura aditiva

• Categoría preaditiva
• Categoría aditiva
• Categoría pre-abeliana
• Categoría abeliana
  • Secuencia exacta
  • Funtor exacto
  • Lema de Snake
    • Lema de Nine
  • Lema cinco
    • Lema cinco breve
  • Teorema de embebimiento de Mitchell
• Cogenerador inyectivo

Categoría monoidal

• Objeto identidad

Estructura (Teoría de categorías)

• Semigrupoide
• Localización de una categoría
• Categoría enriquecida
• Bicategoría

Topos

• haz
• Descent (Teoría de categorías)
• Topología de Grothendieck
• Fondo y génesis de la teoría de los topos
• Clasificador de subobjetos
• Topología sin puntos
• Álgebra de Heyting