# Presheaves in set-theoretical mathematics---file index

This version is May 14th 2004---Carlos Simpson
We prove that if a, b and c are categories and if b admits limits indexed by c,
and if a is small, then the presheaf category (presheaf_cat a b) also admits
limits indexed by c. This is in the last file presheaf_limit.v.
Index page for files in the contribution

axioms.v

tactics.v

set_theory.v

functions.v

notation.v

order.v

transfinite.v

ordinal.v

cardinal.v

algebra.v

topology.v

category.v

functor.v

nat_trans.v

presheaf.v

limit.v

presheaf_limit.v