Category-theoretic approach to algebraic computer systems design

A computational system is called algebraic if it contains discrete co ntrolled postsilicon nodes. Category-theoretic approach to design such systems is proposed aiming at efficient employing mathematical methods to map computational problems to such system architecture. Categories are constructed with algebraic computational nodes and systems models as objects and specifications of operations of integrating nodes into systems as morphisms. Finite diagrams in such categories are formal algebraic computational system architecture models. (In Russian).