{"title":"Quantale Valued Sets: Categorical Constructions and Properties","authors":"José G. Alvim, Hugo L. Mariano, Caio de A. Mendes","doi":"10.1007/s11225-024-10138-w","DOIUrl":null,"url":null,"abstract":"<p>This work mainly concerns the—here introduced—category of <span>\\(\\mathscr {Q}\\)</span>-sets and functional morphisms, where <span>\\(\\mathscr {Q}\\)</span> is a commutative semicartesian quantale. We prove it enjoys all limits and colimits, that it has a classifier for regular subobjects (a sort of truth-values object), which we characterize and give explicitly. Moreover: we prove it to be <span>\\(\\kappa \\)</span>-locally presentable, (where <span>\\(\\kappa =max\\{|\\mathscr {Q}|^+, \\aleph _0\\}\\)</span>); we also describe a hierarchy of monoidal structures in this category.</p>","PeriodicalId":48979,"journal":{"name":"Studia Logica","volume":"7 1","pages":""},"PeriodicalIF":0.6000,"publicationDate":"2024-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Studia Logica","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1007/s11225-024-10138-w","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"LOGIC","Score":null,"Total":0}
引用次数: 0
Abstract
This work mainly concerns the—here introduced—category of \(\mathscr {Q}\)-sets and functional morphisms, where \(\mathscr {Q}\) is a commutative semicartesian quantale. We prove it enjoys all limits and colimits, that it has a classifier for regular subobjects (a sort of truth-values object), which we characterize and give explicitly. Moreover: we prove it to be \(\kappa \)-locally presentable, (where \(\kappa =max\{|\mathscr {Q}|^+, \aleph _0\}\)); we also describe a hierarchy of monoidal structures in this category.
期刊介绍:
The leading idea of Lvov-Warsaw School of Logic, Philosophy and Mathematics was to investigate philosophical problems by means of rigorous methods of mathematics. Evidence of the great success the School experienced is the fact that it has become generally recognized as Polish Style Logic. Today Polish Style Logic is no longer exclusively a Polish speciality. It is represented by numerous logicians, mathematicians and philosophers from research centers all over the world.