Create a document for category theory work.
Start a list of files to ignore.
Add some latex samples.