Kybernetika 46 no. 6, 1025-1048, 2010

On fuzzification of the notion of quantaloid

Sergey A. Solovyov

Abstract:

The paper considers a fuzzification of the notion of quantaloid of K. I. Rosenthal, which replaces enrichment in the category of $\bigvee$-semilattices with that in the category of modules over a given unital commutative quantale. The resulting structures are called quantale algebroids. We show that their constitute a monadic category and prove a representation theorem for them using the notion of nucleus adjusted for our needs. We also characterize the lattice of nuclei on a free quantale algebroid. At the end of the paper, we prove that the category of quantale algebroids has a monoidal structure given by tensor product.

Keywords:

many-value topology, monadic category, nucleus, quantale, quantale algebra, quantale algebroid, quantale module, quantaloid, tensor product

Classification:

06F07, 03E72, 16G99, 18B99, 18A40

References:

  1. J.~Ad{\'{a}}mek, H.~Herrlich and G. E. Strecker: Abstract and Concrete Categories: The Joy of Cats. Dover Publications, Mineola, New York 2009.   CrossRef
  2. F. W. Anderson and K. R. Fuller: Rings and Categories of Modules. Second edition. Springer-Verlag, 1992.   CrossRef
  3. R.~Betti and S.~Kasangian: Tree automata and enriched category theory. Rend. Ist. Mat. Univ. Trieste 17 (1985), 71-78.   CrossRef
  4. F.~Borceux: Handbook of Categorical Algebra. Volume 2: Categories and Structures. Cambridge University Press, 1994.   CrossRef
  5. C.~Brown and D.~Gurr: A representation theorem for quantales. J. Pure Appl. Algebra 85 (1993), 1, 27-42.   CrossRef
  6. C. L. Chang: Fuzzy topological spaces. J. Math. Anal. Appl. 24 (1968), 182-190.   CrossRef
  7. R. P. Dilworth: Non-commutative residuated lattices. Trans. Amer. math. Soc. 46 (1939), 426-444.   CrossRef
  8. G.~Gierz, K.~Hofmann and et al.: Continuous Lattices and Domains. Cambridge University Press, 2003.   CrossRef
  9. J.~Girard: Linear logic. Theor. Comput. Sci. 50 (1987), 1-102.   CrossRef
  10. J. A. Goguen: L-fuzzy sets. J. Math. Anal. Appl. 18 (1967), 145-174.   CrossRef
  11. J. A. Goguen: The fuzzy Tychonoff theorem. J. Math. Anal. Appl. 43 (1973), 734-742.   CrossRef
  12. P. A. Grillet: Abstract Algebra. Second edition. Springer-Verlag, 2007.   CrossRef
  13. R.~Gylys: Involutive and relational quantaloids. Lith. Math. J. 39 (1999), 4, 376-388.   CrossRef
  14. P.~Halmos: Algebraic Logic. Chelsea Publishing Company, 1962.   CrossRef
  15. H.~Herrlich and G. E. Strecker: Category Theory. Third edition. Heldermann Verlag, 2007.   CrossRef
  16. U.~H\"ohle: Quantaloids as categorical basis for many valued mathematics. In: Abstracts of the 31st Linz Seminar on Fuzzy Set Theory (P.~Cintula, E. P. Klement, L. N. Stout, eds.), Johannes Kepler Universit\"{a}t, Linz 2010, pp. 91-92.   CrossRef
  17. T.~Hungerford: Algebra. Springer-Verlag, 2003.   CrossRef
  18. P. T. Johnstone: Stone Spaces. Cambridge University Press, 1982.   CrossRef
  19. A.~Joyal and M.~Tierney: An extension of the Galois theory of Grothendieck. Mem. Am. Math. Soc. 309 (1984), 1-71.   CrossRef
  20. S.~Kasangian and R.~Rosebrugh: Decomposition of automata and enriched category theory. Cah. Topologie G\'eom. Diff\'er. Cat\'eg. 27 (1986), 4, 137-143.   CrossRef
  21. G. M.~Kelly: Basic concepts of enriched category theory. Repr. Theory Appl. Categ. 10 (2005), 1-136.   CrossRef
  22. D.~Kruml and J.~Paseka: Algebraic and categorical aAspects of quantales. In: Handbook of Algebra (M.~Hazewinkel, ed.), 5, Elsevier, 2008, pp. 323-362.   CrossRef
  23. F. W. Lawvere: Metric spaces, generalized logic and closed categories. Repr. Theory Appl. Categ. 1 (2002), 1-37.   CrossRef
  24. R.~Lowen: Fuzzy topological spaces and fuzzy compactness. J. Math. Anal. Appl. 56 (1976), 621-633.   CrossRef
  25. S.~Mac Lane: Categories for the Working Mathematician. Second edition. Springer-Verlag, 1998.   CrossRef
  26. B.~Mitchell: Rings with several objects. Adv. Math. 8 (1972), 1-161.   CrossRef
  27. C.~Mulvey: & Rend. Circ. Mat. Palermo II (1986), 12, 99-104.   CrossRef
  28. C. J. Mulvey and J. W. Pelletier: On the quantisation of points. J. Pure Appl. Algebra 159 (2001), 231-295.   CrossRef
  29. C. J. Mulvey and J. W. Pelletier: On the quantisation of spaces. J. Pure Appl. Algebra 175 (2002), 1-3, 289-325.   CrossRef
  30. J.~Paseka: Quantale Modules. Habilitation Thesis, Department of Mathematics, Faculty of Science, Masaryk University, Brno 1999.   CrossRef
  31. J.~Paseka: A note on nuclei of quantale modules. Cah. Topologie G\'{e}om. Diff\'{e}r. Cat\'{e}goriques 43 (2002), 1, 19-34.   CrossRef
  32. A. M. Pitts: Applications of sup-lattice enriched category theory to sheaf theory. Proc. Lond. Math. Soc. III. 57 (1988), 3, 433-480.   CrossRef
  33. K. I.~Rosenthal: Quantales and Their Applications. Addison Wesley Longman, 1990.   CrossRef
  34. K. I.~Rosenthal: Free quantaloids. J. Pure Appl. Algebra 72 (1991), 1, 67-82.   CrossRef
  35. K. I.~Rosenthal: Girard quantaloids. Math. Struct. Comput. Sci. 2 (1992), 1, 93-108.   CrossRef
  36. K. I. Rosenthal: Quantaloidal nuclei, the syntactic congruence and tree automata. J. Pure Appl. Algebra 77 (1992), 2, 189-205.   CrossRef
  37. K. I. Rosenthal: Quantaloids, enriched categories and automata theory. Appl. Categ. Struct. 3 (1995), 3, 279-301.   CrossRef
  38. K. I. Rosenthal: The Theory of Quantaloids. Addison Wesley Longman, 1996.   CrossRef
  39. S.~Solovjovs: Powerset operator foundations for categorically-algebraic fuzzy sets theories. In: Abstracts of the 31st Linz Seminar on Fuzzy Set Theory (P.~Cintula, E.~P. Klement, L.~N. Stout, ed.), Johannes Kepler Universit\"{a}t, Linz 2010, pp. 143-151.   CrossRef
  40. S.~Solovyov: Completion of partially ordered sets. Discuss. Math., Gen. Algebra Appl. 27 (2007), 59-67.   CrossRef
  41. S.~Solovyov: On coproducts of quantale algebras. Math. Stud. (Tartu) 3 (2008), 115-126.   CrossRef
  42. S.~Solovyov: A representation theorem for quantale algebras. Contr. Gen. Alg. 18 (2008), 189-198.   CrossRef
  43. S.~Solovyov: Sobriety and spatiality in varieties of algebras. Fuzzy Sets Syst. 159 (2008), 19, 2567-2585.   CrossRef
  44. S.~Solovyov: From quantale algebroids to topological spaces: fixed- and variable-basis approaches. Fuzzy Sets Syst. 161 (2010), 9, 1270-1287.   CrossRef
  45. S.~Solovyov: On monadic quantale algebras: basic properties and representation theorems. Discuss. Math., Gen. Algebra Appl. 30 (2010), 1, 91-118.   CrossRef
  46. R.~Street: Elementary cosmoi I. Lect. Notes Math. 420 (1974), 134-180.   CrossRef
  47. R.~Street: Cauchy characterization of enriched categories. Repr. Theory Appl. Categ. 4 (2004), 1-16.   CrossRef
  48. R.~Street: Enriched categories and cohomology. Repr. Theory Appl. Categ. 14 (2005), 1-18.   CrossRef
  49. I.~Stubbe: Categorical structures enriched in a quantaloid: categories, distributors and functors. Theory Appl. Categ. 14 (2005), 1-45.   CrossRef
  50. I.~Stubbe: Categorical structures enriched in a quantaloid: Orders and ideals over a base quantaloid. Appl. Categ. Struct. 13 (2005), 3, 235-255.   CrossRef
  51. I.~Stubbe: Categorical structures enriched in a quantaloid: regular presheaves, regular semicategories. Cah. Topol. G\'{e}om. Diff\'{e}r. Cat\'{e}g. 46 (2005), 2, 99-121.   CrossRef
  52. I.~Stubbe: Categorical structures enriched in a quantaloid: tensored and cotensored categories. Theory Appl. Categ. 16 (2006), 283-306.   CrossRef
  53. I.~Stubbe: $\cal Q$-modules are $\cal Q$-suplattices. Theory Appl. Categ. 19 (2007), 4, 50-60.   CrossRef
  54. M.~Ward: Residuation in structures over which a multiplication is defined. Duke math. J. 3 (1937), 627-636.   CrossRef
  55. M.~Ward: Structure residuation. Ann. Math. 39 (1938), 558-568.   CrossRef
  56. M.~Ward and R. P. Dilworth: Residuated lattices. Trans. Am. Math. Soc. 45 (1939), 335-354.   CrossRef