On the Category of Quantale-Semimodules

  • M. K. DubeyEmail author
  • Vijay K. Yadav
  • S. P. Tiwari
Conference paper
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 714)


The concepts from quantale theory is applied in this work to bring forward and study an abstract idea of quantale-semimodule (Q-semimodule) and Q-sets. We have introduced the category \(\varvec{Q}\)-Mod of Q-semimodule and confer an adjunction between the category \(\varvec{Q}\)-Mod and the well-known category Set, and another between the category \(\varvec{L}\)-Set of L-sets and the category \(\varvec{Q}\)-Set of Q-sets. Finally, we have shown that the category \(\varvec{Q}\)-Mod forms a monoidal category.


Quantale Q-semimodule Morphism Category 


  1. 1.
    Abramsky S., Vickers S., Quantales, observational logic and process semantics, Mathematical Structure in Computer Science, 3, 161–227 (1993).Google Scholar
  2. 2.
    Banaschewski B., Nelson E., Tensor products and bimorphisms, Canadian Mathematical Bulletin, 19, 385–402 (1976).Google Scholar
  3. 3.
    Eklund P., Gal\(\acute{{\rm a}}\)n M.A., Medina J., Ojeda-Aciego M., Valverde A., Set functors, \(L\)-fuzzy set categories and generalized terms, Computers and Mathematics with Applications, 43, 693–705 (2002).Google Scholar
  4. 4.
    Eklund P., Gal\(\acute{{\rm a}}\)n M.A., Medina J., Ojeda-Aciego M., Valverde A., Similarities between powersets of terms, Fuzzy Sets and Systems, 144, 213–225 (2004).Google Scholar
  5. 5.
    Garc\(\acute{{\rm i}}\)a J.G., H\(\ddot{o}\)hle U., Kubiak T., Tensor products of complete lattices and their application in constructing quantales, Fuzzy Sets and Systems, 313, 43–60 (2017).Google Scholar
  6. 6.
    Goguen J.A., \(L\)-fuzzy set, Journal of Mathematical Analysis and Applications, 18, 145–174 (1967).Google Scholar
  7. 7.
    Goguen J.A., Categories of \(V\)-set, Bulletin of American Mathematical Society, 75, 622–624 (1969).Google Scholar
  8. 8.
    Golan J.S., Semiring and Their Applications, Springer, Science + Business Media, Dordrecht (1999).Google Scholar
  9. 9.
    H\(\ddot{o}\)hle U., On the fundamentals of fuzzy set theory, Journal of Mathematical Analysis and Application, 201, 786–826 (1996).Google Scholar
  10. 10.
    Kruml D., Paseka J., Algebraic and Categorical Aspects of Quantales, in Handbook of Algebra, Vol. 5, North-Holland, 323–362 (2008).Google Scholar
  11. 11.
    Li Y.M., Zhou M., Li Z., Projective and injective objects in the category of quantales, Journal of Pure and Applied Algebra, 176, 249–258 (2002).Google Scholar
  12. 12.
    Mulvey C.J., Rend. Circolo Mat. Palermo Suppl. Ser.II 12, 99–104 (1986).Google Scholar
  13. 13.
    Priestley H.A., Ordered sets and complete lattices, A primer for computer science, in: R. Backhouse, R. Crole, J. Gibbons (Eds.), Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, in: Lecture Notes in Computer Science, 2297, 21–78 (2002).Google Scholar
  14. 14.
    Rodabaugh S. E., Klement E. P., H\(\ddot{o}\)hle U., Applications of Category Theory to Fuzzy Subsets, Kluwer Academic, (1992).Google Scholar
  15. 15.
    Rosenthal K.I., Quantales and Their Applications, Longman Scientific and Technical, London, (1990).Google Scholar
  16. 16.
    Russo C., Quantale modules with applications to logic and image processing, PhD thesis, University of Salerno, Italy, (2007).Google Scholar
  17. 17.
    Sharan S., Tiwari S. P., Yadav Vijay K., Interval Type-2 Fuzzy Rough Sets and Interval Type-2 Fuzzy Closure Spaces, Iranian Journal of Fuzzy Systems, 12, 113–125 (2015).Google Scholar
  18. 18.
    Shmuely Z., The structure of Galois connections, Pacific Journal of Mathematics, 54 209–225 (1974).Google Scholar
  19. 19.
    Shmuely Z., The tensor product of distributive lattices. Algebra Universalis, 9, 281–296 (1979).Google Scholar
  20. 20.
    Solovyov S., Categories of lattice-valued sets as categories of arrows, Fuzzy Sets and Systems 157, 843–854 (2006).Google Scholar
  21. 21.
    Solovyov S., On the category Set(JCPos), Fuzzy Sets and Systems, 157, 459–465 (2006).Google Scholar
  22. 22.
    Solovyov S. A., On the category of \(Q\)-Mod, Algebra universalis, 58, 35–58 (2008).Google Scholar
  23. 23.
    Tiwari S. P., Gautam Vinay, Dubey M. K., On fuzzy multiset automata, Journal of Applied Mathematics and Computing, 51 643–657 (2016).Google Scholar
  24. 24.
    Tiwari S. P., Singh Anupam K., Sharan Shambhu, Fuzzy automata based on lattice-ordered monoid and associated topology, Journal of Uncertain Systems, 6, 51–55 (2012).Google Scholar
  25. 25.
    Tiwari S. P., Singh A. K., Sharan S., Yadav, V. K., Bifuzzy core of fuzzy automata, Iranian Journal of Fuzzy Systems, 12, 63–73 (2015).Google Scholar
  26. 26.
    Tiwari S. P., Yadav Vijay K., Dubey M. K., Minimal realization for fuzzy behaviour: A bicategory-theoretic approach, Journal of Intelligent and Fuzzy Systems, 30, 1057–1065 (2016).Google Scholar
  27. 27.
    Tiwari S. P., Yadav Vijay K., Gautam Vinay, On Minimal Fuzzy Realization for a Fuzzy Language: A Categorical Approach, Multiple-Valued Logic and Soft Computing, 28, 361–374 (2017).Google Scholar
  28. 28.
    Tiwari S. P., Yadav Vijay K., Singh A. K., Construction of a minimal realization and monoid for a fuzzy language: a categorical approach, Journal of Applied Mathematics and Computing, 47, 401–415 (2015).Google Scholar
  29. 29.
    Yadav Vijay K., Gautam V., Tiwari S. P., On minimal realization of IF-languages: A categorical approach Iranian Journal of Fuzzy Systems, 13, 19–34 (2016).Google Scholar
  30. 30.
    Zadeh L.A., Fuzzy Sets, Information and Control, 8, 338–353 (1965).Google Scholar

Copyright information

© Springer Nature Singapore Pte Ltd. 2019

Authors and Affiliations

  1. 1.Department of Applied MathematicsIndian Institute of Technology (Indian School of Mines)DhanbadIndia
  2. 2.Department of Mathematics, School of Mathematics, Statistics and Computational SciencesCentral University of RajasthanBandar Sindari, AjmerIndia

Personalised recommendations