Limits in functor categories---file index
This version is Wednesday, August 11th 2004---Carlos Simpson
We expand on the category theory version of June, to include limits,
functor categories, and the theorem that functor categories have limits if the
target category has limits. We also treat opposites of categories, functors and
natural transformations, and so are able to prove the analogous theorem for
colimits too (although we dont extensively expound upon colimits yet).
Index page for files in the contribution
axioms.v
tactics.v
set_theory.v
functions.v
notation.v
universe.v
category.v
functor.v
nat_trans.v
limits.v
functor_cat.v
fc_limits.v