finished def of module morphisms; still need to define (yet another) 'evaluation' map
\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}