Applied Categorical Structures最新文献

{"title":"A Category of Noncrossing Partitions","authors":"Kiyoshi Igusa","doi":"10.1007/s10485-025-09838-8","DOIUrl":"10.1007/s10485-025-09838-8","url":null,"abstract":"<div><p>In Igusa, Todorov and Weyman (Picture groups of finite type and cohomology in type<i> A</i>_<i>n</i> arXiv:1609.02636), we introduced “picture groups” and computed the cohomology of the picture group of type <span>(A_n)</span>. This is the same group what was introduced by Loday (Contemp Math 265: 99–127, 2000) where he called it the “Stasheff group”. In this paper, we give an elementary combinatorial interpretation of the “cluster morphism category” constructed in as reported by Igusa and Todorov, (in: Signed exceptional sequences and the cluster morphism category, arXiv:1706.02041) in the special case of the linearly oriented quiver of type <span>(A_n)</span>. We prove that the classifying space of this category is locally <i>CAT</i>(0) and thus a <span>(K(pi ,1))</span>. We prove a more general statement that classifying spaces of certain “cubical categories” are locally <i>CAT</i>(0). The objects of our category are the classical noncrossing partitions introduced by Kreweras (Discrete Math 1: 333–350, 1972) . The morphisms are binary forests. This paper is independent of as reported by Igusa and Todorov (in: Signed exceptional sequences and the cluster morphism category, arXiv:1706.02041)and as reported by Igusa, Todorov and Weyman (in: Picture groups of finite type and cohomology in type<i> A</i>_<i>n</i> arXiv:1609.02636)except in the last section where we use as reported by Igusa and Todorov (in: Signed exceptional sequences and the cluster morphism category, arXiv:1706.02041) to compare our category with the category with the same name given by Hubery and Krause (J Eur Math Soc 18: 2273–2313, 2016).</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":"33 6","pages":""},"PeriodicalIF":0.5,"publicationDate":"2025-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10485-025-09838-8.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145560935","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":"An Overview of Colax and Virtual Double Categories","authors":"Marco Grandis","doi":"10.1007/s10485-025-09836-w","DOIUrl":"10.1007/s10485-025-09836-w","url":null,"abstract":"<div><p>Double categories have been extended to (co)lax and virtual double categories. We want to show that the first extension still has a general theory of adjunctions, with examples related to homotopy theory, while the second, wider extension has not. Lax and colax double categories have a finitary weak composition, with associativity comparisons which are not assumed to be invertible. We deal with the <i>colax</i> form (also called oplax), which is related to tensor products of topological ‘algebras’. Double adjunctions can be extended to these structures, in the general ‘colax-lax’ form already studied for (weak) double categories: the left adjoint is colax and the right adjoint is lax. For instance, this is the case of the cylinder-cocylinder adjunction. Now, a normal colax double category is known to be essentially the same as a representable virtual double category. Functors of virtual double categories correspond to <i>lax</i> functors of colax double categories, and can only have adjunctions of the weak-lax form; typically, homotopies will not be represented by a cylinder endofunctor, as we show in a class of examples.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":"33 6","pages":""},"PeriodicalIF":0.5,"publicationDate":"2025-11-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145560975","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":"Compatible Structures of Operads by Polarization, Their Koszul Duality and Manin Products","authors":"Huhu Zhang,&nbsp;Xing Gao,&nbsp;Li Guo","doi":"10.1007/s10485-025-09829-9","DOIUrl":"10.1007/s10485-025-09829-9","url":null,"abstract":"<div><p>Algebraic structures with replicate operations interrelated by various compatibility conditions have long been studied in mathematics and mathematical physics. They are broadly referred as linearly compatible, matching, and totally compatible structures. This paper gives a unified approach to these structures in the context of operads. Generalizing polarizations for polynomials in invariant theory to operads leads to linearly compatible operads. Partitioning polarizations into foliations gives matching operads which further yields total compatible operads under an invariance condition. For unary/binary quadratic operads, linear compatibility and total compatibility are in Koszul dual, and the matching compatibilities are Koszul self-dual among themselves. For binary quadratic operads, these three compatible operads can be achieved by taking Manin products. For some finitely generated binary quadratic operad, Koszulity is preserved under taking the compatibilities.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":"33 6","pages":""},"PeriodicalIF":0.5,"publicationDate":"2025-10-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10485-025-09829-9.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145406242","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 Criterion for Categories on Which Every Grothendieck Topology is Rigid","authors":"Jérémie Marquès","doi":"10.1007/s10485-025-09833-z","DOIUrl":"10.1007/s10485-025-09833-z","url":null,"abstract":"<div><p>Let <span>(mathbf{C})</span> be a small category. The subtoposes of <span>([mathbf{C}^textrm{op},mathbf{Set}])</span> are sometimes all of the form <span>([mathbf{D}^textrm{op},mathbf{Set}])</span> where <span>(mathbf{D})</span> is a full subcategory of <span>(mathbf{C})</span>. This is the case for instance when <span>(mathbf{C})</span> is Cauchy-complete and finite, an Artinian poset, or the simplex category. We call such a category <i>universally rigid</i>. A universally rigid category whose slices are also universally rigid, such as the aforementioned examples, is called <i>stably universally rigid</i>. We provide two equivalent characterizations of such categories. The first one stipulates the existence of a winning strategy in a two-player game, and the second one combines two “local” properties of <span>(mathbf{C})</span> involving respectively the poset reflections of its slices and its endomorphism monoids.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":"33 6","pages":""},"PeriodicalIF":0.5,"publicationDate":"2025-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10485-025-09833-z.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145316321","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":"Triple Delooping for Multiplicative Hyperoperads","authors":"Florian De Leger,&nbsp;Maroš Grego","doi":"10.1007/s10485-025-09832-0","DOIUrl":"10.1007/s10485-025-09832-0","url":null,"abstract":"<div><p>Using techniques developed (Batanin and Leger in J Noncommutative Geom 13:1521–1576, 2019), we extend the Turchin/Dwyer–Hess double delooping result to further iterations of the Baez–Dolan plus construction. For <span>(0 le m le n)</span>, we introduce a notion of (<i>m</i>, <i>n</i>)-bimodules which extends the notions of bimodules and infinitesimal bimodules over the terminal non-symmetric operad. We show that a double delooping always exists for these bimodules. For the triple iteration of the Baez-Dolan construction starting from the initial 1-coloured operad, we provide a further reduceness condition to have a third delooping.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":"33 5","pages":""},"PeriodicalIF":0.5,"publicationDate":"2025-10-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145256532","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":"Tensor Enriched Categorical Generalization of the Eilenberg-Watts Theorem","authors":"Jaehyeok Lee","doi":"10.1007/s10485-025-09818-y","DOIUrl":"10.1007/s10485-025-09818-y","url":null,"abstract":"<div><p>Let <i>b</i>, <span>(b')</span> be commutative monoids in a Bénabou cosmos. Motivated by six-functor formalisms in algebraic geometry, we prove that the category of commutative monoids over <span>(botimes b')</span> is equivalent to the category of cocontinuous lax monoidal enriched functors between the monoidal enriched categories of right modules over <i>b</i>, <span>(b')</span>.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":"33 5","pages":""},"PeriodicalIF":0.5,"publicationDate":"2025-10-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145256128","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":"Compactness of the Homotopy Categories of Graded Projective and Injective dg Modules","authors":"Xiaoyan Yang","doi":"10.1007/s10485-025-09834-y","DOIUrl":"10.1007/s10485-025-09834-y","url":null,"abstract":"<div><p>Compactness of the homotopy categories <span>(textrm{K}(mathcal {P}))</span> and <span>(textrm{K}(mathcal {I}))</span> of graded projective and graded injective dg modules over a dg ring are investigated in view of pure acyclic dg modules. For sufficiently nice non-positive dg rings, we show that the two subcategories <span>(textrm{K}(mathcal {P}))</span> and <span>(textrm{K}(mathcal {I}))</span> are compactly generated.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":"33 5","pages":""},"PeriodicalIF":0.5,"publicationDate":"2025-10-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145256127","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":"Differentiable Groupoid Objects and Their Abstract Lie Algebroids","authors":"Lory Aintablian,&nbsp;Christian Blohmann","doi":"10.1007/s10485-025-09830-2","DOIUrl":"10.1007/s10485-025-09830-2","url":null,"abstract":"<div><p>The infinitesimal counterpart of a Lie groupoid is its Lie algebroid. As a vector bundle, it is given by the source vertical tangent bundle restricted to the identity bisection. Its sections can be identified with the invariant vector fields on the groupoid, which are closed under the Lie bracket. We generalize this differentiation procedure to groupoid objects in any category with an abstract tangent structure in the sense of Rosický and a scalar multiplication by a ring object that plays the role of the real numbers. We identify the categorical conditions that the groupoid object must satisfy to admit a natural notion of invariant vector fields. Then we show that invariant vector fields are closed under the Lie bracket defined by Rosický and satisfy the Leibniz rule with respect to ring-valued morphisms on the base of the groupoid. The result is what we define axiomatically as an abstract Lie algebroid, by generalizing the underlying vector bundle to a module object in the slice category over its base. Examples include diffeomorphism groups, bisection groups of Lie groupoids, the diffeological symmetry groupoids of general relativity (Blohmann/Fernandes/Weinstein), symmetry groupoids in Lagrangian Field Theory, holonomy groupoids of singular foliations, elastic diffeological groupoids, groupoid objects in differentiable stacks, and affine groupoid schemes.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":"33 5","pages":""},"PeriodicalIF":0.5,"publicationDate":"2025-10-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10485-025-09830-2.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145256391","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":"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}