Some Useful Structures for Categorical Approach for Program Behavior
Journal: Journal of Information and Organizational Sciences (JIOS) (Vol.35, No. 1)Publication Date: 2011-06-27
Authors : Viliam Slodičák;
Page : 93-103
Keywords : Algebra; arrow category; monad; Kleisli category; codomain functor;
- Comparison of Cloud vs. Tape Backup Performance and Costs with Oracle Database
- PERFORMANCE SCALABILITY IMPROVEMENTS FOR ENTERPRISE BACKUP, RESTORE AND CLONING SOFTWARE FOR ORACLE DATABASE
- Oracle Database Backup Testing
- Overview of Database Auditing for Oracle Database
- Various Effective Performance Methods in Backup and Data Recovery Techniques for A Cloud Based Environment
Abstract
Using of category theory in computer science has extremely grown in the last decade. Categories allow us to express mathematical structures in unified way. Algebras are used for constructing basic structures used in computer programs. A program can be considered as an element of the initial algebra arising from the used programming language. In our contribution we formulate two ways of expressing algebras in categories. We also construct the codomain functor from the arrow category of algebras into the base category of sets which objects are also the carrier-sets of the algebras. This functor expresses the relation between algebras and carrier-sets.
Other Latest Articles
- Source Code Generator Based on Dynamic Frames
- Unlearning/Relearning in Processes of Business Information Systems Innovation
- Proposing Methodology Pattern for Measuring Public Value of IT Projects
- The Impact of Game-Based Learning on the Achievement of Learning Goals and Motivation for Learning Mathematics - Literature Review
- An Ontological Approach to Study and Manage Digital Chain of Custody of Digital Evidence
Last modified: 2020-05-18 18:47:52