La categoría de elementos para functores enriquecidos.

Resumen: La categoría de elementos da una equivalencia entre la categoría de functores valuados en Set, y fibraciones discretas. Está íntimamente conectada con el estudio de functores representables, ya que uno puede probar que un functor es representable si y sólo si su categoría de elementos tiene un objeto terminal. De esta forma, esta construcción nos permite caracterizar los functores representables, y por lo tanto, propiedades universales, que pueden ser luego utilizadas para entender construcciones centrales como adjunciones y (co)limites.