Applied Categorical Structures最新文献

{"title":"Classification of Track (Bi)Categories via Group-Valued 3-Cocycles","authors":"Antonio M. Cegarra","doi":"10.1007/s10485-025-09825-z","DOIUrl":"10.1007/s10485-025-09825-z","url":null,"abstract":"<div><p>Track bicategories, where each hom-category is a groupoid, appear in various mathematical and physical contexts. In this paper, we establish a cohomological classification of track bicategories and track categories using group-valued 3-cocycles on small categories, formulated as lax functors into the one-object 3-category of groups. In the abelian case, this classification aligns with Baues-Wirsching cohomology for small categories with coefficients in natural systems, recovering previously known classification results.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":"33 5","pages":""},"PeriodicalIF":0.5,"publicationDate":"2025-09-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145050858","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":"Fuzzy Simplicial Sets and Their Application to Geometric Data Analysis","authors":"Lukas Silvester Barth,&nbsp;Hannaneh Fahimi,&nbsp;Parvaneh Joharinad,&nbsp;Jürgen Jost,&nbsp;Janis Keck,&nbsp;Thomas Jan Mikhail","doi":"10.1007/s10485-025-09827-x","DOIUrl":"10.1007/s10485-025-09827-x","url":null,"abstract":"<div><p>In this article, we expand upon the concepts introduced in Spivak (Metric realization of fuzzy simplicial sets, 2009. http://www.dspivak.net/metric_realization090922.pdf) about the relationship between the category <span>(textbf{UM})</span> of uber metric spaces and the category <span>(textbf{sFuz})</span> of fuzzy simplicial sets. We show that fuzzy simplicial sets can be regarded as natural combinatorial generalizations of metric relations. Furthermore, we take inspiration from UMAP (McInnes et al, in: Umap: Uniform manifold approximation and projection for dimension reduction, 2018) to apply the theory to manifold learning, dimension reduction and data visualization, while refining some of their constructions to put the corresponding theory on a more solid footing. A generalization of the adjunction between <span>(textbf{UM})</span> and <span>(textbf{sFuz})</span> allows us to view the adjunctions used in both publications as special cases. Moreover, we derive an explicit description of colimits in <span>(textbf{UM})</span> and the realization functor <span>(text {Re}:textbf{sFuz}rightarrow textbf{UM})</span>, and show that <span>(textbf{UM})</span> can be embedded into <span>(textbf{sFuz})</span>. Furthermore, we prove analogous results for the category of extended-pseudo metric spaces <span>(textbf{EPMet})</span>. We also provide rigorous definitions of functors that make it possible to recursively merge sets of fuzzy simplicial sets and provide a description of the adjunctions between the category of truncated fuzzy simplicial sets and <span>(textbf{sFuz})</span>, which we relate to persistent homology. Combining those constructions, we can show a surprising connection between the well-known dimension reduction methods UMAP and Isomap (Tenenbaum et al. in Science 290(5500):2319–2323, 2000) and derive an alternative algorithm, which we call IsUMap, that combines some of the strengths of both methods. Additionally, we developed a new embedding method that allows to preserve clusters detected in the original metric space that we construct from the data. The visualization of the optimization process gives the user information, both about the inner-cluster distributions in the original metric space and their inter-cluster relations. We compare our new method with UMAP, Isomap and t-SNE on a series of low- and high-dimensional datasets and provide explanations for observed differences and improvements.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":"33 5","pages":""},"PeriodicalIF":0.5,"publicationDate":"2025-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10485-025-09827-x.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145028150","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":"On Internal Categories and Crossed Objects in the Category of Monoids","authors":"Ilia Pirashvili","doi":"10.1007/s10485-025-09822-2","DOIUrl":"10.1007/s10485-025-09822-2","url":null,"abstract":"<div><p>In a previous work on quadratic algebras (Pirashvili in Glas Math J 61: 151–167, 2018), I constructed an internal category in the category of monoids, recalled in Sect. 3.2.1. Based on this, we introduce the notion of a crossed semi-bimodule in this paper. This new construction generalises the notion of a crossed semi-module, introduced independently by R. Street and A. Patchkoria, see Joyal (Macquarie Math Reports 860081, 1986) and Patchkoria (Georg Math J 5: 575–581, 1986) respectively. We also show that there is a one to one correspondence between crossed semi-bimodules and strict monoidal category structures on transformation categories satisfying the cc-condition, see Sects. 4 and 5.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":"33 5","pages":""},"PeriodicalIF":0.5,"publicationDate":"2025-08-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144832120","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":"The Leibniz PROP is a Crossed Presimplicial Algebra","authors":"Murat Can Aşkaroğulları,&nbsp;Atabey Kaygun","doi":"10.1007/s10485-025-09820-4","DOIUrl":"10.1007/s10485-025-09820-4","url":null,"abstract":"<div><p>We prove that the Leibniz PROP is isomorphic as <span>(Bbbk )</span>-linear categories (not as monoidal categories) to the symmetric crossed presimplicial algebra <span>(Bbbk [(Delta ^+)^{op} mathbb {S}])</span> where <span>(Delta ^+)</span> is the skeletal category of finite well-ordered sets with surjections, but the distributive law between <span>((Delta ^+)^{op})</span> and the symmetric groups <span>(mathbb {S} = bigsqcup _{nge 1} S_n)</span> is not the standard one.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":"33 4","pages":""},"PeriodicalIF":0.5,"publicationDate":"2025-07-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145171785","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":"Monoidal Envelopes of Families of (infty )-Operads and (infty )-Operadic Kan Extensions","authors":"Kensuke Arakawa","doi":"10.1007/s10485-025-09821-3","DOIUrl":"10.1007/s10485-025-09821-3","url":null,"abstract":"<div><p>We provide details of the proof of Lurie’s theorem on operadic Kan extensions. Along the way, we generalize the construction of monoidal envelopes of <span>(infty )</span>-operads to families of <span>(infty )</span>-operads and use it to construct the fiberwise direct sum functor, both of which we characterize by certain universal properties. Aside from their use in elaborating the proof of Lurie’s theorem, these results and constructions have their independent interest.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":"33 4","pages":""},"PeriodicalIF":0.5,"publicationDate":"2025-07-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145166797","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":"Double Groupoids and 2-Groupoids in Regular Mal’tsev Categories","authors":"Nadja Egner,&nbsp;Marino Gran","doi":"10.1007/s10485-025-09819-x","DOIUrl":"10.1007/s10485-025-09819-x","url":null,"abstract":"<div><p>We prove that the category 2-<span>(textrm{Grpd}(mathscr {C}))</span> of internal 2-groupoids is a Birkhoff subcategory of the category <span>(textrm{Grpd}^2(mathscr {C}))</span> of double groupoids in a regular Mal’tsev category <span>(mathscr {C})</span> with finite colimits, and we provide a simple description of the reflector. In particular, when <span>(mathscr {C})</span> is a Mal’tsev variety of universal algebras, the category 2-<span>(textrm{Grpd}(mathscr {C}))</span> is also a Mal’tsev variety, of which we describe the corresponding algebraic theory. When <span>(mathscr {C})</span> is a naturally Mal’tsev category, the reflector from <span>(textrm{Grpd}^2(mathscr {C}))</span> to 2-<span>(textrm{Grpd}(mathscr {C}))</span> has an additional property related to the commutator of equivalence relations. We prove that the category 2-<span>(textrm{Grpd}(mathscr {C}))</span> is semi-abelian when <span>(mathscr {C})</span> is semi-abelian, and then provide sufficient conditions for 2-<span>(textrm{Grpd}(mathscr {C}))</span> to be action representable.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":"33 4","pages":""},"PeriodicalIF":0.5,"publicationDate":"2025-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145165515","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":"Monadic Aspects of the Ideal Lattice Functor on the Category of Distributive Lattices","authors":"Ando Razafindrakoto","doi":"10.1007/s10485-025-09811-5","DOIUrl":"10.1007/s10485-025-09811-5","url":null,"abstract":"<div><p>It is known that the construction of the frame of ideals from a distributive lattice induces a monad whose algebras are precisely the frames and frame homomorphisms. Using the Fakir construction of an idempotent approximation of a monad, we extend B. Jacobs’ results on lax idempotent monads and show that the sequence of monads and comonads generated by successive iterations of this ideal functor on its algebras and coalgebras do not strictly lead to a new category. We further extend this result and provide a new proof of the equivalence between distributive lattices and coherent frames by showing that when the first inductive step in the Fakir construction is the identity monad, then the ambient category is equivalent to the category of free algebras.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":"33 4","pages":""},"PeriodicalIF":0.5,"publicationDate":"2025-07-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10485-025-09811-5.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145163615","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":"Higher Catoids, Higher Quantales and their Correspondences","authors":"Cameron Calk,&nbsp;Philippe Malbos,&nbsp;Damien Pous,&nbsp;Georg Struth","doi":"10.1007/s10485-025-09817-z","DOIUrl":"10.1007/s10485-025-09817-z","url":null,"abstract":"<div><p>We introduce <span>(omega )</span>-catoids as generalisations of (strict) <span>(omega )</span>-categories and in particular the higher path categories generated by computads or polygraphs in higher-dimensional rewriting. We also introduce <span>(omega )</span>-quantales that generalise the <span>(omega )</span>-Kleene algebras recently proposed for algebraic coherence proofs in higher-dimensional rewriting. We then establish correspondences between <span>(omega )</span>-catoids and convolution <span>(omega )</span>-quantales. These are related to Jónsson-Tarski-style dualisms between relational structures and lattices with operators. We extend these correspondences to <span>((omega,p))</span>-catoids, catoids with a groupoid structure above some dimension, and convolution <span>((omega,p))</span>-quantales, using Dedekind quantales above some dimension to capture homotopic constructions and proofs in higher-dimensional rewriting. We also specialise them to finitely decomposable <span>((omega, p))</span>-catoids, an appropriate setting for defining <span>((omega, p))</span>-semirings and <span>((omega, p))</span>-Kleene algebras. These constructions support the systematic development and justification of <span>(omega )</span>-Kleene algebra and <span>(omega )</span>-quantale axioms, improving on the recent approach mentioned, where axioms for <span>(omega )</span>-Kleene algebras have been introduced in an ad hoc fashion.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":"33 4","pages":""},"PeriodicalIF":0.5,"publicationDate":"2025-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10485-025-09817-z.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145170336","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":"Choice-Free Duality for Tarski Algebras","authors":"Sergio Arturo Celani,&nbsp;Luciano Javier González","doi":"10.1007/s10485-025-09816-0","DOIUrl":"10.1007/s10485-025-09816-0","url":null,"abstract":"<div><p>In [N. Bezhanishvili and W. H. Holliday. Choice-free Stone duality. J. Symb. Log., 85(1):109–148, 2020.], the authors develop a choice-free topological duality for the algebraic category of Boolean algebras. We adapt the techniques and constructions given by Bezhanishvili and Holliday to develop a topological duality for the algebraic category of Tarski algebras without using the Axiom of Choice. Then, we show that the duality presented here for Tarski algebras is in fact a generalization of the duality given by Bezhanishvili and Holliday for Boolean algebras. We also obtain a choice-free topological duality for the algebraic category of generalized Boolean algebra.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":"33 4","pages":""},"PeriodicalIF":0.5,"publicationDate":"2025-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145169974","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":"Enriched Kleisli Objects for Pseudomonads","authors":"Adrian Miranda","doi":"10.1007/s10485-025-09810-6","DOIUrl":"10.1007/s10485-025-09810-6","url":null,"abstract":"<div><p>A pseudomonad on a 2-category whose underlying endomorphism is a 2-functor can be seen as a diagram <span>(textbf{Psmnd} rightarrow textbf{Gray})</span> for which weighted limits and colimits can be considered. The 2-category of pseudoalgebras, pseudomorphisms and 2-cells is such a Gray-enriched weighted limit [21], however neither the Kleisli bicategory nor the 2-category of free pseudoalgebras are the analogous weighted colimit [13]. In this paper we describe the actual weighted colimit via a presentation, and show that the comparison 2-functor induced by any other pseudoadjunction splitting the original pseudomonad is bi-fully faithful. As a consequence, we see that biessential surjectivity on objects characterises left pseudoadjoints whose codomains have an ‘up to biequivalence’ version of the universal property for Kleisli objects. This motivates a homotopical study of Kleisli objects for pseudomonads, and to this end we show that the weight for Kleisli objects is cofibrant in the projective model structure on the enriched functor category <span>([textbf{Psmnd}^text {op} , textbf{Gray}])</span>.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":"33 4","pages":""},"PeriodicalIF":0.5,"publicationDate":"2025-06-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10485-025-09810-6.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145166674","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}