axioms for enriched n-cats; but these might need to be modified since the product axiom seems to require that these are sets with structure after all
# use glob syntax.
syntax: glob
# temporary files
*.aux
*.log
*.out
*.toc
*.synctex.gz*
*.nav
*.snm
# artifacts
pnas.pdf
blob1.pdf
sandbox.pdf
blob1.dvi
blob.tar.gz
# bibliograph stuff
*.bbl
*.blg
bibliography
# generic OSX crap
.DS_Store
# latex2pdf temporary files
diagrams/latex2pdf/defontify.dvi
diagrams/latex2pdf/defontify.pdf
diagrams/latex2pdf/defontify.ps
diagrams/latex2pdf/nofonts.ps