Program Systems: Theory and Applications, 2015, Volume 6, Issue 1, Pages 3–10
Mathematical Foundations of Programming
Category-theoretic approach to algebraic computer systems design
S. P. Kovalyov
ICS V. A. Trapeznikov of RAS
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).
Key words and phrases:
algebraic computational system, semi-primal algebra, structural category of algebras, mapping computational problems to system architecture.
PDF file (592 kB)
S. P. Kovalyov, “Category-theoretic approach to algebraic computer systems design”, Program Systems: Theory and Applications, 6:1 (2015), 3–10
Citation in format AMSBIB
\paper Category-theoretic approach to algebraic computer systems design
\jour Program Systems: Theory and Applications
Citing articles on Google Scholar:
Related articles on Google Scholar:
|Number of views:|