definition-izing the blob complex for an A_infty cat, and stating assumptions more prominently in S7.2
\documentclass[11pt,leqno]{amsart}
%\usepackage{amsthm}
\newcommand{\pathtotrunk}{../../}
\input{\pathtotrunk text/article_preamble}
\input{\pathtotrunk text/top_matter}
\input{\pathtotrunk text/kw_macros}
\begin{document}
\input{A-infty}
\input{gluing}
\end{document}