finished def of module morphisms; still need to define (yet another) 'evaluation' map
\input{\pathtotrunk preamble.tex}\input{\pathtotrunk text/kw_macros}\input{\pathtotrunk talks/beamer_preamble.tex}% This switches fonts to the Palatino family.% \renewcommand{\familydefault}{ppl}\usepackage{array}