Categorical methods of speaking and thinking are becoming more and more widespread in mathematics because they achieve a unifi cation of parts of different mathematical fields; frequently they bring simplifications and provide the impetus for new developments. The purpose of thi…
