کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
430004 | 687773 | 2015 | 7 صفحه PDF | دانلود رایگان |
• We present an equivalent characterization of continuous information algebras.
• The set of all continuous mappings on continuous information algebras is continuous.
• The two categories COMP and CON are both Cartesian closed.
The compact information algebra and the continuous information algebra are two special information algebras, which are algebraic structures modeling computation in many different contexts. We show that the set of all continuous mappings between two continuous information algebras also forms a continuous information algebra. Further, we obtain that the two categories COMP and CON, consisting of compact information algebras and continuous information algebras as objects respectively, continuous mappings as morphisms, are both Cartesian closed.
Journal: Journal of Computer and System Sciences - Volume 81, Issue 2, March 2015, Pages 376–382