Issledovanie Parallel'nykh Sistem Metodami Teorii Kategoriy