http://www.cs.cmu.edu/~scott/
This is an unofficial reimagining of the Archive of Formal Proofs
Axiom Systems for Category Theory in Free Logicby Christoph Benzmüller and Dana Scott