Skip Navigation



Journal of Logic and Computation Advance Access published online on March 13, 2009
Journal of Logic and Computation, doi:10.1093/logcom/exp014
This Article
Right arrow Abstract Freely available
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Fric, R.
Right arrow Search for Related Content
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?

© The Author, 2009. Published by Oxford University Press. All rights reserved. For Permissions, please email: journals.permissions@oxfordjournals.org

Original Papers

States on Bold Algebras: Categorical Aspects

Roman Fric

Mathematical Institute, Slovak Academy of Sciences, Gresákova 6, 040 01 Kosice, Slovak Republic and Catholic University in Ruzomberok, Pedagogical Faculty, Department of Mathematics, Nám.A. Hlinku 60, 034 01 Ruzomberok, Slovak Republic.
E-mail: fric{at}saske.sk

Received 2 October 2008.

We study bold algebras and states on bold algebras in the context of transition from classical probability theory to fuzzy probability theory. Our aim is to point out the role of bold algebras and states on bold algebras in a categorical approach to probability theory. In particular, we formulate several fundamental questions related to basic probability notions and constructions and provide possible answers in terms of bold algebras and states on bold algebras. We show that the category ID of D-posets of fuzzy sets and sequentially continuous difference homomorphisms can serve as a base category in which both classical and fuzzy probability theory can be developed and generalized. Classical and fuzzy random events such as fields of sets and measurable real-valued functions into the interval [0,1], considered as bold algebras, become special objects. Observables, considered as morphisms between objects, become dual to generalized random variables. States become morphisms into [0,1], considered as an object of ID. Properties of objects of ID follow from classical theorems of analysis such as the Lebesgue Dominated Convergence Theorem (states are sequentially continuous) and categorical constructions such as the product (the structure of a probability domain is completely determined by the states as the initial structure). We prove that each generated Lukasiewicz tribe is the epireflection of its underlying Butnariu–Klement {sigma}-field of sets. This helps to understand the transition from classical crisp random events to fuzzy random events. Indeed, the corresponding fuzzification is necessary to cover generalized random variables having a quantum character, i.e. fuzzy random variables in the Gudder–Bugajski sense sending a classical elementary event (point measure) to a non-trivial probability measure.

Keywords: Bold algebra; state; duality; D-poset of fuzzy sets; categorical probability theory



References

  1. Adámek J. Theory of Mathematical Structures (1983) Dordrecht: Reidel.
  2. Bugajski S. Statistical maps I. Basic properties. Mathematica Slovaca (2001) 51:321–342.
  3. Bugajski S. Statistical maps II. Operational random variables. Mathematica Slovaca (2001) 51:343–361.
  4. Butnariu D, Klement EP. Triangular norm-based measures and their Markov-kernel representation. Journal Mathematical Analysis and Applications (1991) 162:111–143.[CrossRef]
  5. di Nola A, Georgescu G, Leustean I. MV-algebras theory (2007) Fisciano, Salerno: Department of Mathematics and Information Sciences, University of Salerno.
  6. Dvurecenskij A, Pulmannová S. New Trends in Quantum Structures (2000) Kluwer Academic Publ. and Ister Science, Dordrecht and Bratislava.
  7. Chovanec F, Fric R. States as morphisms. in press.
  8. Foulis DJ, Bennett MK. Effect algebras and unsharp quantum logics. Foundations of Physics (1994) 24:1331–1352.[CrossRef][Web of Science]
  9. Fric R. Convergence and duality. Applied Categorical Structures (2002) 10:257–266.[CrossRef][Web of Science]
  10. Fric R. Lukasiewicz tribes are absolutely sequentially closed bold algebras. Czechoslovak Mathematical Journal (2002) 52:861–874.[CrossRef][Web of Science]
  11. Fric R. Remarks on statistical maps and fuzzy (operational) random variables. Tatra Mountains Mathematical Publications (2005) 30:21–34.
  12. Fric R. Extension of measures: a categorical approach. Mathematica Bohemica (2005) 130:397–407.
  13. Fric R. Statistical maps: a categorical approach. Mathematica Slovaca (2007) 57:41–57.[CrossRef][Web of Science]
  14. Fric R. Extension of domains of states. Soft Computing (2009) 13:63–70.[CrossRef][Web of Science]
  15. Fric R, Papco M. On probability domains. in press.
  16. Gudder S. Fuzzy probability theory. Demonstratio Mathematica (1998) 31:235–254.
  17. Jurecková M. The measure extension theorem forMV-algebras. Tatra Mountains Mathematical Publications (1995) 6:56–61.
  18. Kôpka F. D-posets of fuzzy sets. Tatra Mountains Mathematical Publications (1992) 1:83–87.
  19. Kôpka F, Chovanec F. D-posets. Mathematica Slovaca (1994) 44:21–34.
  20. Mesiar R. Fuzzy sets and probability theory. Tatra Mountains Mathematical Publications (1992) 1:105–123.
  21. Novák J. On convergence spaces and their sequential envelopes. Czechoslovak Mathematical Journal (1965) 15:74–100.
  22. Novák J. On sequential envelopes defined by means of certain classes of functions. Czechoslovak Mathematical Journal (1968) 18:450–456.[Web of Science]
  23. Papco M. On measurable spaces and measurable maps. Tatra Mountains Mathematical Publications (2004) 28:125–140.
  24. Papco M. On fuzzy random variables: examples and generalizations. Tatra Mountains Mathematical Publications (2005) 30:175–185.
  25. Papco M. On effect algebras. Soft Computing (2008) 12:373–379.[CrossRef][Web of Science]
  26. Riecan B, Mundici D. Probability on MV-algebras. In: Handbook of Measure Theory—Pap E, ed. (2002) II. Amsterdam: North-Holland. 869–910.
  27. Riecan B, Neubrunn T. Integral, Measure, and Ordering (1997) Kluwer Academic Publications, Dordrecht-Boston-London.

Add to CiteULike CiteULike   Add to Connotea Connotea   Add to Del.icio.us Del.icio.us    What's this?



This Article
Right arrow Abstract Freely available
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Fric, R.
Right arrow Search for Related Content
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?