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