Zobrazeno 1 - 10
of 2 580
pro vyhledávání: '"Quantale"'
Autor:
Shen, Lili, Tang, Xiaoye
Let $\mathsf{Q}$ be a commutative and unital quantale. By a $\mathsf{Q}$-map we mean a left adjoint in the quantaloid of sets and $\mathsf{Q}$-relations, and by a partial $\mathsf{Q}$-map we refer to a Kleisli morphism with respect to the maybe monad
Externí odkaz:
http://arxiv.org/abs/2408.00393
Autor:
Borlido, Célia
We consider monoids equipped with a compatible quantale valued relation, to which we call quantale enriched monoids, and study semidirect products of such structures. It is well-known that semidirect products of monoids are closely related to Schreie
Externí odkaz:
http://arxiv.org/abs/2405.06844
Autor:
Wu, Hongwei1 (AUTHOR) wuhw@snnu.edu.cn
Publikováno v:
Semigroup Forum. Oct2023, Vol. 107 Issue 2, p564-574. 11p.
With a commutative unital quantale $L$ as the truth value table, this study focuses on the representations of $L$-domains by means of $L$-closure spaces. First, the notions of interpolative generalized $L$-closure spaces and directed closed sets are
Externí odkaz:
http://arxiv.org/abs/2406.17712
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Beohar, Harsh, Gurke, Sebastian, König, Barbara, Messing, Karla, Forster, Jonas, Schröder, Lutz, Wild, Paul
We address the task of deriving fixpoint equations from modal logics characterizing behavioural equivalences and metrics (summarized under the term conformances). We rely on earlier work that obtains Hennessy-Milner theorems as corollaries to a fixpo
Externí odkaz:
http://arxiv.org/abs/2310.05711
Autor:
Shen, Lili, Zhao, Xiaojuan
Publikováno v:
Fuzzy Sets and Systems, 479:108855, 2024
For a small involutive quantaloid $\mathcal{Q}$, it is shown that the category of separated complete $\mathcal{Q}$-categories and left adjoint $\mathcal{Q}$-functors is strictly monadic over the category of symmetric $\mathcal{Q}$-categories. In part
Externí odkaz:
http://arxiv.org/abs/2401.03366
Publikováno v:
Electronic Notes in Theoretical Informatics and Computer Science, Volume 3 - Proceedings of MFPS XXXIX (November 23, 2023) entics:12292
Lawvere showed that generalised metric spaces are categories enriched over $[0, \infty]$, the quantale of the positive extended reals. The statement of enrichment is a quantitative analogue of being a preorder. Towards seeking a logic for quantitativ
Externí odkaz:
http://arxiv.org/abs/2302.01224
Publikováno v:
Journal of Intelligent & Fuzzy Systems. 2023, Vol. 44 Issue 2, p1575-1584. 10p.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.