Applied Categorical Structures最新文献

{"title":"Partialising Institutions","authors":"Răzvan Diaconescu","doi":"10.1007/s10485-023-09753-w","DOIUrl":"10.1007/s10485-023-09753-w","url":null,"abstract":"<div><p><span>({3/2})</span>-Institutions have been introduced as an extension of institution theory that accommodates implicitly partiality of the signature morphisms together with its syntactic and semantic effects. In this paper we show that ordinary institutions that are equipped with an inclusion system for their categories of signatures generate naturally <span>({3/2})</span>-institutions with <i>explicit</i> partiality for their signature morphisms. This provides a general uniform way to build <span>({3/2})</span>-institutions for the foundations of conceptual blending and software evolution. Moreover our general construction allows for an uniform derivation of some useful technical properties.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2023-11-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134796639","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Compact Hausdorff Locales in Presheaf Toposes","authors":"Simon Henry,&nbsp;Christopher Townsend","doi":"10.1007/s10485-023-09751-y","DOIUrl":"10.1007/s10485-023-09751-y","url":null,"abstract":"<div><p>We prove that for any small category <span>({mathcal {C}})</span>, the category <span>(textbf{KHausLoc}_{hat{{mathcal {C}}}})</span> of compact Hausdorff locales in the presheaf topos <span>(hat{{mathcal {C}}})</span>, is equivalent to the category of functors <span>({mathcal {C}} rightarrow textbf{KHausLoc})</span>.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2023-10-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49999601","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Continuous Nakayama Representations","authors":"Job Daisie Rock,&nbsp;Shijie Zhu","doi":"10.1007/s10485-023-09748-7","DOIUrl":"10.1007/s10485-023-09748-7","url":null,"abstract":"<div><p>We introduce continuous analogues of Nakayama algebras. In particular, we introduce the notion of (pre-)Kupisch functions, which play a role as Kupisch series of Nakayama algebras, and view a continuous Nakayama representation as a special type of representation of <span>({mathbb {R}})</span> or <span>({mathbb {S}}^1)</span>. We investigate equivalences and connectedness of the categories of Nakayama representations. Specifically, we prove that orientation-preserving homeomorphisms on <span>({mathbb {R}})</span> and on <span>({mathbb {S}}^1)</span> induce equivalences between these categories. Connectedness is characterized by a special type of points called separation points determined by (pre-)Kupisch functions. We also construct an exact embedding from the category of finite-dimensional representations for any finite-dimensional Nakayama algebra, to a category of continuous Nakayama representaitons.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2023-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50007434","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Pervin Spaces and Frith Frames: Bitopological Aspects and Completion","authors":"Célia Borlido,&nbsp;Anna Laura Suarez","doi":"10.1007/s10485-023-09749-6","DOIUrl":"10.1007/s10485-023-09749-6","url":null,"abstract":"<div><p>A Pervin space is a set equipped with a bounded sublattice of its powerset, while its pointfree version, called Frith frame, consists of a frame equipped with a generating bounded sublattice. It is known that the dual adjunction between topological spaces and frames extends to a dual adjunction between Pervin spaces and Frith frames, and that the latter may be seen as representatives of certain quasi-uniform structures. As such, they have an underlying bitopological structure and inherit a natural notion of completion. In this paper we start by exploring the bitopological nature of Pervin spaces and of Frith frames, proving some categorical equivalences involving zero-dimensional structures. We then provide a conceptual proof of a duality between the categories of <span>(T_0)</span> complete Pervin spaces and of complete Frith frames. This enables us to interpret several Stone-type dualities as a restriction of the dual adjunction between Pervin spaces and Frith frames along full subcategory embeddings. Finally, we provide analogues of Banaschewski and Pultr’s characterizations of sober and <span>(T_D)</span> topological spaces in the setting of Pervin spaces and of Frith frames, highlighting the parallelism between the two notions.\u0000</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2023-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10485-023-09749-6.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50055551","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"From Gs-monoidal to Oplax Cartesian Categories: Constructions and Functorial Completeness","authors":"Tobias Fritz,&nbsp;Fabio Gadducci,&nbsp;Davide Trotta,&nbsp;Andrea Corradini","doi":"10.1007/s10485-023-09750-z","DOIUrl":"10.1007/s10485-023-09750-z","url":null,"abstract":"<div><p>Originally introduced in the context of the algebraic approach to term graph rewriting, the notion of gs-monoidal category has surfaced a few times under different monikers in the last decades. They can be thought of as symmetric monoidal categories whose arrows are generalised relations, with enough structure to talk about domains and partial functions, but less structure than cartesian bicategories. The aim of this paper is threefold. The first goal is to extend the original definition of gs-monoidality by enriching it with a preorder on arrows, giving rise to what we call oplax cartesian categories. Second, we show that (preorder-enriched) gs-monoidal categories naturally arise both as Kleisli categories and as span categories, and the relation between the resulting formalisms is explored. Finally, we present two theorems concerning Yoneda embeddings on the one hand and functorial completeness on the other, the latter inducing a completeness result also for lax functors from oplax cartesian categories to <span>(textbf{Rel})</span>.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2023-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50052357","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Nonexistence of Colimits in Naive Discrete Homotopy Theory","authors":"Daniel Carranza,&nbsp;Krzysztof Kapulkin,&nbsp;Jinho Kim","doi":"10.1007/s10485-023-09746-9","DOIUrl":"10.1007/s10485-023-09746-9","url":null,"abstract":"<div><p>We show that the quasicategory defined as the localization of the category of (simple) graphs at the class of A-homotopy equivalences does not admit colimits. In particular, we settle in the negative the question of whether the A-homotopy equivalences in the category of graphs are part of a model structure.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2023-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50103432","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Diagrammatic Presentations of Enriched Monads and Varieties for a Subcategory of Arities","authors":"Rory B. B. Lucyshyn-Wright,&nbsp;Jason Parker","doi":"10.1007/s10485-023-09735-y","DOIUrl":"10.1007/s10485-023-09735-y","url":null,"abstract":"<div><p>The theory of <i>presentations</i> of enriched monads was developed by Kelly, Power, and Lack, following classic work of Lawvere, and has been generalized to apply to <i>subcategories of arities</i> in recent work of Bourke–Garner and the authors. We argue that, while theoretically elegant and structurally fundamental, such presentations of enriched monads can be inconvenient to construct directly in practice, as they do not directly match the definitional procedures used in constructing many categories of enriched algebraic structures via operations and equations. Retaining the above approach to presentations as a key technical underpinning, we establish a flexible formalism for directly describing enriched algebraic structure borne by an object of a <span>(mathscr {V})</span>-category <span>(mathscr {C})</span> in terms of <i>parametrized </i><span>(mathscr {J})</span>-<i>ary operations</i> and <i>diagrammatic equations</i> for a suitable subcategory of arities <span>(mathscr {J}hookrightarrow mathscr {C})</span>. On this basis we introduce the notions of <i>diagrammatic </i><span>(mathscr {J})</span>-<i>presentation</i> and <span>(mathscr {J})</span>-<i>ary variety</i>, and we show that the category of <span>(mathscr {J})</span>-ary varieties is dually equivalent to the category of <span>(mathscr {J})</span>-ary <span>(mathscr {V})</span>-monads. We establish several examples of diagrammatic <span>(mathscr {J})</span>-presentations and <span>(mathscr {J})</span>-ary varieties relevant in both mathematics and theoretical computer science, and we define the <i>sum</i> and <i>tensor product</i> of diagrammatic <span>(mathscr {J})</span>-presentations. We show that both <span>(mathscr {J})</span>-<i>relative monads</i> and <span>(mathscr {J})</span>-<i>pretheories</i> give rise to diagrammatic <span>(mathscr {J})</span>-presentations that directly describe their algebras. Using diagrammatic <span>(mathscr {J})</span>-presentations as a method of proof, we generalize the <i>pretheories-monads adjunction</i> of Bourke and Garner beyond the locally presentable setting. Lastly, we generalize Birkhoff’s Galois connection between classes of algebras and sets of equations to the above setting.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2023-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50043178","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"On the Structure of an Internal Groupoid","authors":"Nelson Martins-Ferreira","doi":"10.1007/s10485-023-09740-1","DOIUrl":"10.1007/s10485-023-09740-1","url":null,"abstract":"<div><p>The category of internal groupoids (in an arbitrary category) is shown to be equivalent to the full subcategory of so called involutive-2-links that are unital and associative.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2023-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10485-023-09740-1.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50036814","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Admissibility of Localizations of Crossed Modules","authors":"Olivia Monjon,&nbsp;Jérôme Scherer,&nbsp;Florence Sterck","doi":"10.1007/s10485-023-09738-9","DOIUrl":"10.1007/s10485-023-09738-9","url":null,"abstract":"<div><p>The correspondence between the concept of conditional flatness and admissibility in the sense of Galois appears in the context of localization functors in any semi-abelian category admitting a fiberwise localization. It is then natural to wonder what happens in the category of crossed modules where fiberwise localization is not always available. In this article, we establish an equivalence between conditional flatness and admissibility in the sense of Galois (for the class of regular epimorphisms) for regular-epi localization functors. We use this equivalence to prove that nullification functors are admissible for the class of regular epimorphisms, even if the kernels of their localization morphisms are not acyclic.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2023-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10485-023-09738-9.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50015273","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"A Halmos–von Neumann Theorem for Actions of General Groups","authors":"Patrick Hermle,&nbsp;Henrik Kreidler","doi":"10.1007/s10485-023-09743-y","DOIUrl":"10.1007/s10485-023-09743-y","url":null,"abstract":"<div><p>We give a new categorical approach to the Halmos–von Neumann theorem for actions of general topological groups. As a first step, we establish that the categories of topological and measure-preserving irreducible systems with discrete spectrum are equivalent. This allows to prove the Halmos–von Neumann theorem in the framework of topological dynamics. We then use the Pontryagin and Tannaka–Krein duality theories to obtain classification results for topological and then measure-preserving systems with discrete spectrum. As a byproduct, we obtain a complete isomorphism invariant for compactifications of a fixed topological group.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2023-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10485-023-09743-y.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41765715","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}