Fundamental: the notion of modules
摘要
We present a formal framework for the notion of modules and their composition. In particular, the associativity of the composition operator is emphasized. Some useful graphical conventions and some special classes of modules are suggested.