发布求助
文献互助 智能选刊 最新文献

Applied Categorical Structures最新文献

筛选
英文 中文
Canonical extensions via fitted sublocales
IF 0.6 4区 数学
Applied Categorical Structures Pub Date : 2025-02-28 DOI: 10.1007/s10485-025-09802-6
Tomáš Jakl, Anna Laura Suarez
{"title":"Canonical extensions via fitted sublocales","authors":"Tomáš Jakl,&nbsp;Anna Laura Suarez","doi":"10.1007/s10485-025-09802-6","DOIUrl":"10.1007/s10485-025-09802-6","url":null,"abstract":"<div><p>We study restrictions of the correspondence between the lattice <span>(textsf{SE}(L))</span> of strongly exact filters, of a frame <i>L</i>, and the coframe <span>(mathcal {S}_o(L))</span> of fitted sublocales. In particular, we consider the classes of exact filters <span>(textsf{E}(L))</span>, regular filters <span>(textsf{R}(L))</span>, and the intersections <span>(mathcal {J}(textsf{CP}(L)))</span> and <span>(mathcal {J}(textsf{SO}(L)))</span> of completely prime and Scott-open filters, respectively. We show that all these classes of filters are sublocales of <span>(textsf{SE}(L))</span> and as such correspond to subcolocales of <span>(mathcal {S}_o(L))</span> with a concise description. The theory of polarities of Birkhoff is central to our investigations. We automatically derive universal properties for the said classes of filters by giving their descriptions in terms of polarities. The obtained universal properties strongly resemble that of the canonical extensions of lattices. We also give new equivalent definitions of subfitness in terms of the lattice of filters.\u0000</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":"33 2","pages":""},"PeriodicalIF":0.6,"publicationDate":"2025-02-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10485-025-09802-6.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143513450","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}
引用次数: 0
Lallement Functor is a Weak Right Multiadjoint
IF 0.6 4区 数学
Applied Categorical Structures Pub Date : 2025-02-08 DOI: 10.1007/s10485-025-09800-8
J. Climent Vidal, E. Cosme Llópez
{"title":"Lallement Functor is a Weak Right Multiadjoint","authors":"J. Climent Vidal,&nbsp;E. Cosme Llópez","doi":"10.1007/s10485-025-09800-8","DOIUrl":"10.1007/s10485-025-09800-8","url":null,"abstract":"<div><p>For a plural signature <span>(Sigma )</span> and with regard to the category <span>(textsf {NPIAlg}(Sigma )_{textsf {s}})</span>, of naturally preordered idempotent <span>(Sigma )</span>-algebras and surjective homomorphisms, we define a contravariant functor <span>(textrm{Lsys}_{Sigma })</span> from <span>(textsf {NPIAlg}(Sigma )_{textsf {s}})</span> to <span>(textsf {Cat})</span>, the category of categories, that assigns to <span>({textbf {I}})</span> in <span>(textsf {NPIAlg}(Sigma )_{textsf {s}})</span> the category <span>({textbf {I}})</span>-<span>(textsf {LAlg}(Sigma ))</span>, of <span>({textbf {I}})</span>-semi-inductive Lallement systems of <span>(Sigma )</span>-algebras, and a covariant functor <span>((textsf {Alg}(Sigma ),{downarrow _{textsf {s}}}, cdot ))</span> from <span>(textsf {NPIAlg}(Sigma )_{textsf {s}})</span> to <span>(textsf {Cat})</span>, that assigns to <span>({textbf {I}})</span> in <span>(textsf {NPIAlg}(Sigma )_{textsf {s}})</span> the category <span>((textsf {Alg}(Sigma ),{downarrow _{textsf {s}}}, {textbf {I}}))</span>, of the coverings of <span>({textbf {I}})</span>, i.e., the ordered pairs <span>(({textbf {A}},f))</span> in which <span>({textbf {A}})</span> is a <span>(Sigma )</span>-algebra and <img> a surjective homomorphism. Then, by means of the Grothendieck construction, we obtain the categories <span>(int ^{textsf {NPIAlg}(Sigma )_{textsf {s}}}textrm{Lsys}_{Sigma })</span> and <span>(int _{textsf {NPIAlg}(Sigma )_{textsf {s}}}(textsf {Alg}(Sigma ),{downarrow _{textsf {s}}}, cdot ))</span>; define a functor <span>(mathfrak {L}_{Sigma })</span> from the first category to the second, which we will refer to as the Lallement functor; and prove that it is a weak right multiadjoint. Finally, we state the relationship between the Płonka functor and the Lallement functor.\u0000</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":"33 2","pages":""},"PeriodicalIF":0.6,"publicationDate":"2025-02-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10485-025-09800-8.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143370031","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}
引用次数: 0
Bounded complete J-algebraic lattices
IF 0.6 4区 数学
Applied Categorical Structures Pub Date : 2025-02-04 DOI: 10.1007/s10485-025-09801-7
Shengwei Han, Yu Xue
{"title":"Bounded complete J-algebraic lattices","authors":"Shengwei Han,&nbsp;Yu Xue","doi":"10.1007/s10485-025-09801-7","DOIUrl":"10.1007/s10485-025-09801-7","url":null,"abstract":"<div><p>The present article aims to develop a categorical duality for the category of bounded complete <i>J</i>-algebraic lattices. In terms of the lattice of weak ideals, we first construct a left adjoint to the forgetful functor <b>Sup</b><span>(rightarrow )</span> <span>({textbf {Pos}}_vee )</span>, where <b>Sup</b> is the category of complete lattices and join-preserving maps and <span>({textbf {Pos}}_vee )</span> is the category of posets and maps that preserve existing binary joins. Based on which, we propose the concept of <i>W</i>-structures over posets and give a <i>W</i>-structure representation for bounded complete <i>J</i>-algebraic posets, which generalizes the representation of algebraic lattices. Finally, we show that the category of join-semilattice <i>WS</i>-structures and homomorphisms is dually equivalent to the category of bounded complete <i>J</i>-algebraic lattices and homomorphisms.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":"33 1","pages":""},"PeriodicalIF":0.6,"publicationDate":"2025-02-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143107886","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}
引用次数: 0
Presentations of Pseudodistributive Laws 伪分配律的表示
IF 0.6 4区 数学
Applied Categorical Structures Pub Date : 2025-01-03 DOI: 10.1007/s10485-024-09798-5
Charles Walker
{"title":"Presentations of Pseudodistributive Laws","authors":"Charles Walker","doi":"10.1007/s10485-024-09798-5","DOIUrl":"10.1007/s10485-024-09798-5","url":null,"abstract":"<div><p>By considering the situation in which the involved pseudomonads are presented in no-iteration form, we deduce a number of alternative presentations of pseudodistributive laws including a “decagon” form, a pseudoalgebra form, a no-iteration form, and a warping form. As an application, we show that five coherence axioms suffice in the usual monoidal definition of a pseudodistributive law.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":"33 1","pages":""},"PeriodicalIF":0.6,"publicationDate":"2025-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142912800","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}
引用次数: 0
Counting Functions for Random Objects in a Category 类别中随机对象的计数函数
IF 0.6 4区 数学
Applied Categorical Structures Pub Date : 2025-01-03 DOI: 10.1007/s10485-024-09797-6
Brandon Alberts
{"title":"Counting Functions for Random Objects in a Category","authors":"Brandon Alberts","doi":"10.1007/s10485-024-09797-6","DOIUrl":"10.1007/s10485-024-09797-6","url":null,"abstract":"<div><p>In arithmetic statistics and analytic number theory, the asymptotic growth rate of counting functions giving the number of objects with order below <i>X</i> is studied as <span>(Xrightarrow infty )</span>. We define general counting functions which count epimorphisms out of an object on a category under some ordering. Given a probability measure <span>(mu )</span> on the isomorphism classes of the category with sufficient respect for a product structure, we prove a version of the Law of Large Numbers to give the asymptotic growth rate as <i>X</i> tends towards <span>(infty )</span> of such functions with probability 1 in terms of the finite moments of <span>(mu )</span> and the ordering. Such counting functions are motivated by work in arithmetic statistics, including number field counting as in Malle’s conjecture and point counting as in the Batyrev–Manin conjecture. Recent work of Sawin–Wood gives sufficient conditions to construct such a measure <span>(mu )</span> from a well-behaved sequence of finite moments in very broad contexts, and we prove our results in this broad context with the added assumption that a product structure in the category is respected. These results allow us to formalize vast heuristic predictions about counting functions in general settings.\u0000</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":"33 1","pages":""},"PeriodicalIF":0.6,"publicationDate":"2025-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142912801","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}
引用次数: 0
Non-Abelian Extensions of Groupoids and Their Groupoid Rings 类群的非阿贝尔扩展及其类群环
IF 0.6 4区 数学
Applied Categorical Structures Pub Date : 2024-12-16 DOI: 10.1007/s10485-024-09795-8
Natã Machado, Johan Öinert, Stefan Wagner
{"title":"Non-Abelian Extensions of Groupoids and Their Groupoid Rings","authors":"Natã Machado,&nbsp;Johan Öinert,&nbsp;Stefan Wagner","doi":"10.1007/s10485-024-09795-8","DOIUrl":"10.1007/s10485-024-09795-8","url":null,"abstract":"<div><p>We present a geometrically oriented classification theory for non-Abelian extensions of groupoids generalizing the classification theory for Abelian extensions of groupoids by Westman as well as the familiar classification theory for non-Abelian extensions of groups by Schreier and Eilenberg-MacLane. As an application of our techniques we demonstrate that each extension of groupoids <span>({mathcal {N}}rightarrow {mathcal {E}}rightarrow {mathcal {G}})</span> gives rise to a groupoid crossed product of <span>({mathcal {G}})</span> by the groupoid ring of <span>({mathcal {N}})</span> which recovers the groupoid ring of <span>({mathcal {E}})</span> up to isomorphism. Furthermore, we make the somewhat surprising observation that our classification methods naturally transfer to the class of groupoid crossed products, thus providing a classification theory for this class of rings. Our study is motivated by the search for natural examples of groupoid crossed products.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":"33 1","pages":""},"PeriodicalIF":0.6,"publicationDate":"2024-12-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10485-024-09795-8.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142826110","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}
引用次数: 0
A Tangent Category Perspective on Connections in Algebraic Geometry 代数几何中连接的切线范畴透视
IF 0.6 4区 数学
Applied Categorical Structures Pub Date : 2024-12-11 DOI: 10.1007/s10485-024-09796-7
G. S. H. Cruttwell, Jean-Simon Pacaud Lemay, Elias Vandenberg
{"title":"A Tangent Category Perspective on Connections in Algebraic Geometry","authors":"G. S. H. Cruttwell,&nbsp;Jean-Simon Pacaud Lemay,&nbsp;Elias Vandenberg","doi":"10.1007/s10485-024-09796-7","DOIUrl":"10.1007/s10485-024-09796-7","url":null,"abstract":"<div><p>There is an abstract notion of connection in any tangent category. In this paper, we show that when applied to the tangent category of affine schemes, this recreates the classical notion of a connection on a module (and similarly, in the tangent category of schemes, this recreates the notion of connection on a quasi-coherent sheaf of modules). By contrast, we also show that in the tangent category of algebras, there are no non-trivial connections.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":"33 1","pages":""},"PeriodicalIF":0.6,"publicationDate":"2024-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142798557","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}
引用次数: 0
Bi-accessible and Bipresentable 2-Categories 双可及双呈现2类
IF 0.6 4区 数学
Applied Categorical Structures Pub Date : 2024-12-09 DOI: 10.1007/s10485-024-09794-9
Ivan Di Liberti, Axel Osmond
{"title":"Bi-accessible and Bipresentable 2-Categories","authors":"Ivan Di Liberti,&nbsp;Axel Osmond","doi":"10.1007/s10485-024-09794-9","DOIUrl":"10.1007/s10485-024-09794-9","url":null,"abstract":"<div><p>We develop a 2-dimensional version of accessibility and presentability compatible with the formalism of flat pseudofunctors. First we give prerequisites on the different notions of 2-dimensional colimits, filteredness and cofinality; in particular we show that <span>(sigma )</span>-<i>filteredness</i> and <i>bifilteredness</i> are actually equivalent in practice for our purposes. Then, we define bi-accessible and bipresentable 2-categories in terms of <i>bicompact</i> objects and <i>bifiltered</i> bicolimits. We then characterize them as categories of <i>flat pseudofunctors</i>. We also prove a bi-accessible right bi-adjoint functor theorem and deduce a 2-dimensional Gabriel-Ulmer duality relating small <i>bilex</i> 2-categories and finitely bipresentable 2-categories. Finally, we show that 2-categories of pseudo-algebras of finitary 2-monads on <span>(textbf{Cat})</span> are finitely bipresentable, which in particular captures the case of <span>(textbf{Lex})</span>, the 2-category of small lex categories. Invoking the technology of <i>lex-colimits</i>, we prove further that several 2-categories arising in categorical logic (<b>Reg, Ex, Coh, Ext, Adh, Pretop</b>) are also finitely bipresentable.\u0000</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":"33 1","pages":""},"PeriodicalIF":0.6,"publicationDate":"2024-12-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10485-024-09794-9.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142798442","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}
引用次数: 0
An Equivalence Between Two Models of (infty )-Categories of Enriched Presheaves 富预设类的（infty ）两个模型之间的等价性
IF 0.6 4区 数学
Applied Categorical Structures Pub Date : 2024-11-26 DOI: 10.1007/s10485-024-09792-x
Hadrian Heine
{"title":"An Equivalence Between Two Models of (infty )-Categories of Enriched Presheaves","authors":"Hadrian Heine","doi":"10.1007/s10485-024-09792-x","DOIUrl":"10.1007/s10485-024-09792-x","url":null,"abstract":"<div><p>Let <span>({{mathcal {O}}}rightarrow {text {BM}})</span> be a <span>({text {BM}})</span>-operad that exhibits an <span>(infty )</span>-category <span>({{mathcal {D}}})</span> as weakly bitensored over non-symmetric <span>(infty )</span>-operads <span>({{mathcal {V}}}rightarrow text {Ass }, {{mathcal {W}}}rightarrow text {Ass })</span> and <span>({{mathcal {C}}})</span> a <span>({{mathcal {V}}})</span>-enriched <span>(infty )</span>-precategory. We construct an equivalence </p><div><div><span>$$begin{aligned} text {Fun}_{text {Hin}}^{{mathcal {V}}}({{mathcal {C}}},{{mathcal {D}}}) simeq text {Fun}^{{mathcal {V}}}({{mathcal {C}}},{{mathcal {D}}}) end{aligned}$$</span></div></div><p>of <span>(infty )</span>-categories weakly right tensored over <span>({{mathcal {W}}})</span> between Hinich’s construction of <span>({{mathcal {V}}})</span>-enriched functors of Hinich (Adv Math 367:107129, 2020) and our construction of <span>({{mathcal {V}}})</span>-enriched functors of Heine (Adv Math 417:108941, 2023).\u0000</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":"33 1","pages":""},"PeriodicalIF":0.6,"publicationDate":"2024-11-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10485-024-09792-x.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142714185","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}
引用次数: 0
Operad Structures on the Species Composition of Two Operads 两个 Operad 的物种组成上的 Operad 结构
IF 0.6 4区 数学
Applied Categorical Structures Pub Date : 2024-11-22 DOI: 10.1007/s10485-024-09793-w
Imen Rjaiba
{"title":"Operad Structures on the Species Composition of Two Operads","authors":"Imen Rjaiba","doi":"10.1007/s10485-024-09793-w","DOIUrl":"10.1007/s10485-024-09793-w","url":null,"abstract":"<div><p>We give an explicit description of two operad structures on the species composition <span>(textbf{p}circ textbf{q})</span>, where <span>(textbf{q})</span> is any given positive operad, and where <span>(textbf{p})</span> is the <span>({text{ NAP } })</span> operad, or a shuffle version of the magmatic operad <span>({text{ Mag } })</span>. No distributive law between <span>(textbf{p})</span> and <span>(textbf{q})</span> is assumed.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":"33 1","pages":""},"PeriodicalIF":0.6,"publicationDate":"2024-11-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142691875","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}
引用次数: 0
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信