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

for job in `./externalization-jobs.sh`; do
	pdflatex --jobname $job tikz-figures.tex;
	rm $job.log;
	rm $job.out;
	rm $job.aux;
done