Original scientific paper
Some Useful Structures for Categorical Approach for Program Behavior
Viliam Slodičák
orcid.org/0000-0002-2852-9403
; Department of Computers and Informatics, Faculty of Electrical Engineering and Informatics, Technical university of Košice, Košice, Slovak Republic
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.
Keywords
Algebra; arrow category; monad; Kleisli category; codomain functor
Hrčak ID:
69677
URI
Publication date:
27.6.2011.
Visits: 976 *