{"title":"A symmetric approach to higher coverings in categorical Galois theory","authors":"Fara Renaud, Tim Van der Linden","doi":"10.1007/s10485-022-09698-6","DOIUrl":"10.1007/s10485-022-09698-6","url":null,"abstract":"<div><p>In the context of a tower of (strongly Birkhoff) Galois structures in the sense of categorical Galois theory, we show that the concept of a higher covering admits a characterisation which is at the same time <i>absolute</i> (with respect to the base level in the tower), rather than inductively defined relative to extensions of a lower order; and <i>symmetric</i>, rather than depending on a perspective in terms of arrows pointing in a certain chosen direction. This result applies to the Galois theory of quandles, for instance, where it helps us characterising the higher coverings in purely algebraic terms.\u0000</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2023-01-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10485-022-09698-6.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42697676","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":"Local Cohen–Macaulay DG-Modules","authors":"Xiaoyan Yang, Yanjie Li","doi":"10.1007/s10485-022-09703-y","DOIUrl":"10.1007/s10485-022-09703-y","url":null,"abstract":"<div><p>Let <i>A</i> be a commutative noetherian local DG-ring with bounded cohomology. For local Cohen–Macaulay DG-modules with constant amplitude, we obtain an explicit formula for the sequential depth, show that Cohen–Macaulayness is stable under localization and give several equivalent definitions of maximal local Cohen–Macaulay DG-modules over local Cohen–Macaulay DG-rings. We also provide some characterizations of Gorenstein DG-rings by projective and injective dimensions of DG-modules.\u0000</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2023-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10485-022-09703-y.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46569515","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":"Minimal Models of Some Differential Graded Modules","authors":"Berrin Şentürk, Özgün Ünlü","doi":"10.1007/s10485-022-09708-7","DOIUrl":"10.1007/s10485-022-09708-7","url":null,"abstract":"<div><p>Minimal models of chain complexes associated with free torus actions on spaces have been extensively studied in the literature. In this paper, we discuss these constructions using the language of operads. The main goal of this paper is to define a new Koszul operad that has projections onto several of the operads used in these minimal model constructions.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2023-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50006606","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}
Alejandro Alvarado García, César Cejudo Castilla, Mauricio Medina Bárcenas, Ivan Fernando Vilchis Montalvo
{"title":"Operators Between Classes of Modules Given by Preradicals","authors":"Alejandro Alvarado García, César Cejudo Castilla, Mauricio Medina Bárcenas, Ivan Fernando Vilchis Montalvo","doi":"10.1007/s10485-022-09702-z","DOIUrl":"10.1007/s10485-022-09702-z","url":null,"abstract":"","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2023-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10485-022-09702-z.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50037081","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":"Ramsey Properties of Products and Pullbacks of Categories and the Grothendieck Construction","authors":"Dragan Mašulović","doi":"10.1007/s10485-022-09700-1","DOIUrl":"10.1007/s10485-022-09700-1","url":null,"abstract":"<div><p>In this paper we provide purely categorical proofs of two important results of structural Ramsey theory: the result of M. Sokić that the free product of Ramsey classes is a Ramsey class, and the result of M. Bodirsky, M. Pinsker and T. Tsankov that adding constants to the language of a Ramsey class preserves the Ramsey property. The proofs that we present here ignore the model-theoretic background of these statements. Instead, they focus on categorical constructions by which the classes can be constructed generalizing the original statements along the way. It turns out that the restriction to classes of relational structures, although fundamental for the original proof strategies, is not relevant for the statements themselves. The categorical proofs we present here remove all restrictions on the signature of first-order structures and provide the information not only about the Ramsey property but also about the Ramsey degrees.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2022-12-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45814455","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":"Unitless Frobenius Quantales","authors":"Cédric de Lacroix, Luigi Santocanale","doi":"10.1007/s10485-022-09699-5","DOIUrl":"10.1007/s10485-022-09699-5","url":null,"abstract":"<div><p>It is often stated that Frobenius quantales are necessarily unital. By taking negation as a primitive operation, we can define Frobenius quantales that may not have a unit. We develop the elementary theory of these structures and show, in particular, how to define nuclei whose quotients are Frobenius quantales. This yields a phase semantics and a representation theorem via phase quantales. Important examples of these structures arise from Raney’s notion of tight Galois connection: tight endomaps of a complete lattice always form a Girard quantale which is unital if and only if the lattice is completely distributive. We give a characterisation and an enumeration of tight endomaps of the diamond lattices <span>(M_n)</span> and exemplify the Frobenius structure on these maps. By means of phase semantics, we exhibit analogous examples built up from trace class operators on an infinite dimensional Hilbert space. Finally, we argue that units cannot be properly added to Frobenius quantales: every possible extention to a unital quantale fails to preserve negations.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2022-12-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10485-022-09699-5.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45317354","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 Simplicial Category for Higher Correspondences","authors":"Redi Haderi","doi":"10.1007/s10485-022-09705-w","DOIUrl":"10.1007/s10485-022-09705-w","url":null,"abstract":"<div><p>In this work we propose a realization of Lurie’s prediction that inner fibrations <span>(p: X rightarrow A)</span> are classified by <i>A</i>-indexed diagrams in a “higher category” whose objects are <span>(infty )</span>-categories, morphisms are correspondences between them and higher morphisms are higher correspondences. We will obtain this as a corollary of a more general result which classifies all simplicial maps between ordinary simplicial sets in a similar fashion. Correspondences between simplicial sets (and <span>(infty )</span>-categories) are a generalization of the concept of profunctor (or bimodule) pertaining to categories. While categories, functors and profunctors are organized in a double category, we will exhibit simplicial sets, simplicial maps, and correspondences as part of a simplicial category. This allows us to make precise statements and provide proofs. Our main tool is the language of double categories, which we use in the context of simplicial categories as well.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2022-12-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43134041","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":"A Pullback Diagram in the Coarse Category","authors":"Elisa Hartmann","doi":"10.1007/s10485-022-09707-8","DOIUrl":"10.1007/s10485-022-09707-8","url":null,"abstract":"<div><p>This paper studies the asymptotic product of two metric spaces. It is well defined if one of the spaces is visual or if both spaces are geodesic. In this case the asymptotic product is the pullback of a limit diagram in the coarse category. Using this product construction we can define a homotopy theory on coarse metric spaces in a natural way. We prove that all finite colimits exist in the coarse category.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2022-12-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47806464","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}
Raimundo Bastos, Ricardo de Oliveira, Guram Donadze, Noraí Romeu Rocco
{"title":"q-Tensor and Exterior Centers, Related Degrees and Capability","authors":"Raimundo Bastos, Ricardo de Oliveira, Guram Donadze, Noraí Romeu Rocco","doi":"10.1007/s10485-022-09701-0","DOIUrl":"10.1007/s10485-022-09701-0","url":null,"abstract":"<div><p>We introduce intermediate commutators and study their degrees. We define <span>((q, {}))</span>-capable groups and prove that a group <i>G</i> is <span>((q, {}))</span>-capable if and only if <span>(Z^{wedge }_{(q, {})}(G)=1)</span>.\u0000</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2022-12-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10485-022-09701-0.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47400970","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}
Erik B'edos, S. Kaliszewski, John Quigg, Jonathan Turk
{"title":"Coactions on C∗documentclass[12pt]{minimal} usepackage{amsmath} usepackage{wasysym} usepackage{amsfonts} usepackage{amssymb} usepackage{amsbsy} usepackage{mathrsfs} usepackage{upgreek} setlength{oddsidemargin}{-69pt} begin{document}$$C^*$$end{document}-Algebras and Universal Properties","authors":"Erik B'edos, S. Kaliszewski, John Quigg, Jonathan Turk","doi":"10.1007/s10485-023-09741-0","DOIUrl":"https://doi.org/10.1007/s10485-023-09741-0","url":null,"abstract":"","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2022-12-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43457547","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}