{"title":"锥型i -半滤单子的松弛扩展","authors":"Gao Zhang, Shao-Qun Zhang","doi":"10.3390/axioms12111034","DOIUrl":null,"url":null,"abstract":"For a quantale I, the unit interval endowed with a continuous triangular norm, we introduce the canonical, op-canonical and Kleisli extensions of the conical I-semifilter monad to I-Rel. It is proved that the op-canonical extension coincides with the Kleisli extension.","PeriodicalId":53148,"journal":{"name":"Axioms","volume":"38 2","pages":"0"},"PeriodicalIF":1.9000,"publicationDate":"2023-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Lax Extensions of Conical I-Semifilter Monads\",\"authors\":\"Gao Zhang, Shao-Qun Zhang\",\"doi\":\"10.3390/axioms12111034\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"For a quantale I, the unit interval endowed with a continuous triangular norm, we introduce the canonical, op-canonical and Kleisli extensions of the conical I-semifilter monad to I-Rel. It is proved that the op-canonical extension coincides with the Kleisli extension.\",\"PeriodicalId\":53148,\"journal\":{\"name\":\"Axioms\",\"volume\":\"38 2\",\"pages\":\"0\"},\"PeriodicalIF\":1.9000,\"publicationDate\":\"2023-11-05\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Axioms\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.3390/axioms12111034\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"MATHEMATICS, APPLIED\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Axioms","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.3390/axioms12111034","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS, APPLIED","Score":null,"Total":0}
For a quantale I, the unit interval endowed with a continuous triangular norm, we introduce the canonical, op-canonical and Kleisli extensions of the conical I-semifilter monad to I-Rel. It is proved that the op-canonical extension coincides with the Kleisli extension.
期刊介绍:
Axiomatic theories in physics and in mathematics (for example, axiomatic theory of thermodynamics, and also either the axiomatic classical set theory or the axiomatic fuzzy set theory) Axiomatization, axiomatic methods, theorems, mathematical proofs Algebraic structures, field theory, group theory, topology, vector spaces Mathematical analysis Mathematical physics Mathematical logic, and non-classical logics, such as fuzzy logic, modal logic, non-monotonic logic. etc. Classical and fuzzy set theories Number theory Systems theory Classical measures, fuzzy measures, representation theory, and probability theory Graph theory Information theory Entropy Symmetry Differential equations and dynamical systems Relativity and quantum theories Mathematical chemistry Automata theory Mathematical problems of artificial intelligence Complex networks from a mathematical viewpoint Reasoning under uncertainty Interdisciplinary applications of mathematical theory.