# Set-theoretical category theory---file index

This version is June 18th 2004---Carlos Simpson
This is a smaller version of the earlier collections, treating only the set-theory basics plus
the definition of basic category-theory notation. It incorporates some slight changes but
is basically here just so I can access it from home!
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