OFFSET
1,3
COMMENTS
For definition of quantale see A354493.
A quantale is strictly left-sided if every element x satisfies T * x = x, and strictly right-sided if every element x satisfies x * T = x. Here T denotes the top element of the underlying lattice.
Transposition of the semigroup table yields a bijection between strictly left-sided and strictly right-sided quantales, so this sequence counts either type.
REFERENCES
P. Eklund, J. G. García, U. Höhle, and J. Kortelainen, (2018). Semigroups in complete lattices. In Developments in Mathematics (Vol. 54). Springer Cham.
K. I. Rosenthal, Quantales and their applications. Longman Scientific and Technical, 1990.
Arman Shamsgovara, A catalogue of every quantale of order up to 9 (abstract), LINZ2022, 39th Linz Seminar on Fuzzy Set Theory, Linz, Austria.
CROSSREFS
KEYWORD
nonn,more
AUTHOR
Arman Shamsgovara, Aug 03 2022
STATUS
approved