Linguistic and algorithmic restatement of the theory of categories Application to motion and interactions of particles - Ποντικόπουλος, Λουκάς (Demo, 1983)