Two Cartesian closed categories of information algebras

作者：

Highlights：

• 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.

摘要

•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.

论文关键词：Compact information algebras,Continuous information algebras,Continuous mappings,Cartesian closedness

论文评审过程：Received 4 May 2014, Accepted 10 June 2014, Available online 23 June 2014.

论文官网地址：https://doi.org/10.1016/j.jcss.2014.06.009