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