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

(binary:application/pdf)