Some Useful Structures for Categorical Approach for Program Behavior
Some Useful Structures for Categorical Approach for Program Behavior
Author(s): Viliam SlodičákSubject(s): ICT Information and Communications Technologies
Published by: Fakultet organizacije i informatike, Sveučilište u Zagrebu
Keywords: Algebra; arrow category; monad; Kleisli category; codomain functor;
Summary/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.
Journal: Journal of Information and Organizational Sciences
- Issue Year: 35/2011
- Issue No: 1
- Page Range: 93-103
- Page Count: 11
- Language: English