Method of Additional Structures on the Objects of a Monoidal Kleisli Category as a Background for Information Transformers Theory

Category theory provides a compact method of encoding mathematical structures in a uniform way, thereby enabling the use of general theorems on, for example, equivalence and universal constructions. In this article we develop the method of additional structures on the objects of a monoidal Kleisli category. It is proposed to consider any uniform class of information transformers (ITs) as a family of morphisms of a category that satisfy certain set of axioms. This makes it possible to study in a uniform way different types of ITs, e.g., statistical, multivalued, and fuzzy ITs. Proposed axioms define a category of ITs as a monoidal category that contains a subcategory (of deterministic ITs) with finite products. Besides, it is shown that many categories of ITs can be constructed as Kleisli categories with additional structures.

[1]  P. V. Golubtsov.  Fuzzy Logical Semantics of Bayesian Decision Making. Applications of Fuzzy Logic Technology II , 1995 .

[2]  B. Banaschewski,et al.  Categorical Aspects of Topology and Analysis , 1982 .

[3]  J. Bernstein,et al.  Equivariant Sheaves and Functors , 1994 .

[4]  R. Goldblatt.  Topoi, the Categorial Analysis of Logic , 1979 .

[5]  Zouhair Tamsamani,et al.  Sur des notions de n-catégorie et n-groupoi͏̈de non strictes via des ensembles multi-simpliciaux , 1996 .

[6]  J. Goguen.  L-fuzzy sets , 1967 .

[7]  Lotfi A. Zadeh,et al.  Fuzzy Sets , 1996, Inf. Control..

[8]  E. Manes.  A class of fuzzy theories , 1982 .

[9]  J. Neveu.  Bases mathématiques du calcul des probabilités , 1966 .

[10]  M. Arbib,et al.  Fuzzy machines in a category , 1975, Bulletin of the Australian Mathematical Society.

[11]  M. Barr,et al.  Toposes, Triples and Theories , 1984 .

[12]  R. Sacksteder.  A Note on Statistical Equivalence , 1967 .

[13]  N. Čencov.  Statistical Decision Rules and Optimal Inference , 2000 .

[14]  Joseph A. Goguen,et al.  Concept Representation in Natural and Artificial Languages: Axioms, Extensions and Applications for Fuzzy Sets , 1974, Int. J. Man Mach. Stud..

[15]  G. Lusztig.  Quivers, perverse sheaves, and quantized enveloping algebras , 1991 .

[16]  N. N. Chent︠s︡ov.  Statistical decision rules and optimal inference , 1982 .

[17]  J. Baez,et al.  Higher dimensional algebra and topological quantum field theory , 1995, q-alg/9503002.

[18]  P. V. Golubtsov,et al.  Fuzzy logical semantics of Bayesian decision making , 1995, Defense, Security, and Sensing.

[19]  Joseph A. Goguen,et al.  Categories of $V$-sets , 1969 .

[20]  Michèle Giry,et al.  A categorical approach to probability theory , 1982 .

[21]  P. V. Golubtsov.  Categories of Information Transformers and the Concept of Informativity , 1992 .

[22]  H. Kleisli,et al.  Every standard construction is induced by a pair of adjoint functors , 1965 .

[23]  Ernest Gene Manes,et al.  Category Theory Applied to Computation and Control , 1975, Lecture Notes in Computer Science.

[24]  D. Blackwell.  Comparison of Experiments , 1951 .

[25]  Four‐dimensional topological quantum field theory, Hopf categories, and the canonical bases , 1994, hep-th/9405183.