On the Coextension of Cut-Continuous Pomonoids

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Přírodovědeckou fakultu. Oficiální stránka publikace je na webu muni.cz.
Autoři

KRUML David PASEKA Jan VETTERLEIN Thomas

Rok publikování 2019
Druh Článek v odborném periodiku
Časopis / Zdroj ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS
Fakulta / Pracoviště MU

Přírodovědecká fakulta

Citace
www https://link.springer.com/article/10.1007%2Fs11083-018-9466-3
Doi http://dx.doi.org/10.1007/s11083-018-9466-3
Klíčová slova Partially ordered monoid; Cut-continuous pomonoid; Residuated poset; Coextension of cut-continuous pomonoids; Tensor product of modules over cut-continuous pomonoids; Closure space
Popis We introduce cut-continuous pomonoids, which generalise residuated posets. The latter's defining condition is that the monoidal product is residuated in each argument; we define cut-continuous pomonoids by requiring that the monoidal product is in each argument just cut-continuous. In the case of a total order, the condition of cut-continuity means that multiplication distributes over existing suprema. Morphisms between cut-continuous pomonoids can be chosen either in analogy with unital quantales or with residuated lattices. Under the assumption of commutativity and integrality, congruences are in the latter case induced by filters, in the same way as known for residuated lattices. We are interested in the construction of coextensions: given cut-continuous pomonoids K and C, we raise the question how we can determine the cut-continuous pomonoids L such that C is a filter of L and the quotient of L induced by C is isomorphic to K. In this context, we are in particular concerned with tensor products of modules over cut-continuous pomonoids. Using results of M. Erne and J. Picado on closure spaces, we show that such tensor products exist. An application is the construction of residuated structures related to fuzzy logics, in particular left-continuous t-norms.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.