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
\documentclass[11pt,leqno]{amsart}
%\usepackage{amsthm}
\newcommand{\pathtotrunk}{./}
\input{text/article_preamble}
\input{text/top_matter}
\input{text/kw_macros}
%\title{Blob Homology}
\title{Sandbox}
\begin{document}
\end{document}