Add some files from my category theory library