Applied Categorical Structures最新文献

筛选
英文 中文
Internalizations of Decorated Bicategories via (pi _2)-Indexings 通过$$pi _2$$ -索引实现装饰二元范畴的内部化
IF 0.6 4区 数学
Applied Categorical Structures Pub Date : 2024-06-22 DOI: 10.1007/s10485-024-09774-z
Juan Orendain, José Rubén Maldonado-Herrera
{"title":"Internalizations of Decorated Bicategories via (pi _2)-Indexings","authors":"Juan Orendain,&nbsp;José Rubén Maldonado-Herrera","doi":"10.1007/s10485-024-09774-z","DOIUrl":"10.1007/s10485-024-09774-z","url":null,"abstract":"<div><p>We treat the problem of lifting bicategories into double categories through categories of vertical morphisms. We consider structures on decorated 2-categories allowing us to formally implement arguments of sliding certain squares along vertical subdivisions in double categories. We call these structures <span>(pi _2)</span>-indexings. We present a construction associating, to every <span>(pi _2)</span>-indexing on a decorated 2-category, a length 1 double internalization.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-06-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10485-024-09774-z.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141509071","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
Parametrised Presentability Over Orbital Categories 轨道类别上的参数化呈现性
IF 0.6 4区 数学
Applied Categorical Structures Pub Date : 2024-06-07 DOI: 10.1007/s10485-024-09772-1
Kaif Hilman
{"title":"Parametrised Presentability Over Orbital Categories","authors":"Kaif Hilman","doi":"10.1007/s10485-024-09772-1","DOIUrl":"10.1007/s10485-024-09772-1","url":null,"abstract":"<div><p>In this paper, we develop the notion of presentability in the parametrised homotopy theory framework of Barwick et al. (Parametrized higher category theory and higher algebra: a general introduction, 2016) over orbital categories. We formulate and prove a characterisation of parametrised presentable categories in terms of its associated straightening. From this we deduce a parametrised adjoint functor theorem from the unparametrised version, prove various localisation results, and we record the interactions of the notion of presentability here with multiplicative matters. Such a theory is of interest for example in equivariant homotopy theory, and we will apply it in Hilman (Parametrised noncommutative motives and cubical descent in equivariant algebraic K-theory, 2022) to construct the category of parametrised noncommutative motives for equivariant algebraic K-theory.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10485-024-09772-1.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141552818","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
Pointless Parts of Completely Regular Frames 完全规则框架的无意义部分
IF 0.6 4区 数学
Applied Categorical Structures Pub Date : 2024-06-04 DOI: 10.1007/s10485-024-09768-x
Richard N. Ball
{"title":"Pointless Parts of Completely Regular Frames","authors":"Richard N. Ball","doi":"10.1007/s10485-024-09768-x","DOIUrl":"10.1007/s10485-024-09768-x","url":null,"abstract":"<div><p>(Completely regular) locales generalize (Tychonoff) spaces; indeed, the passage from a locale to its spatial sublocale is a well understood coreflection. But a locale also possesses an equally important pointless sublocale, and with morphisms suitably restricted, the passage from a locale to its pointless sublocale is also a coreflection. Our main theorem is that every locale can be uniquely represented as a subdirect product of its pointless and spatial parts, again with suitably restricted projections. We then exploit this representation by showing that any locale is determined by (what may be described as) the placement of its points in its pointless part.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-06-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141257350","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
Bicategories of Action Groupoids 动作群组的二范畴
IF 0.6 4区 数学
Applied Categorical Structures Pub Date : 2024-05-24 DOI: 10.1007/s10485-024-09770-3
Carla Farsi, Laura Scull, Jordan Watts
{"title":"Bicategories of Action Groupoids","authors":"Carla Farsi,&nbsp;Laura Scull,&nbsp;Jordan Watts","doi":"10.1007/s10485-024-09770-3","DOIUrl":"10.1007/s10485-024-09770-3","url":null,"abstract":"<div><p>We prove that the 2-category of action Lie groupoids localised in the following three different ways yield equivalent bicategories: localising at equivariant weak equivalences à la Pronk, localising using surjective submersive equivariant weak equivalences and anafunctors à la Roberts, and localising at all weak equivalences. These constructions generalise the known case of representable orbifold groupoids. We also show that any weak equivalence between action Lie groupoids is isomorphic to the composition of two particularly nice forms of equivariant weak equivalences.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141102819","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
A DG-Enhancement of ({text {D}}_{qc}(X)) with Applications in Deformation Theory $${text {D}}_{qc}(X)$$ 的 DG 增强及其在变形理论中的应用
IF 0.6 4区 数学
Applied Categorical Structures Pub Date : 2024-05-08 DOI: 10.1007/s10485-024-09769-w
Francesco Meazzini
{"title":"A DG-Enhancement of ({text {D}}_{qc}(X)) with Applications in Deformation Theory","authors":"Francesco Meazzini","doi":"10.1007/s10485-024-09769-w","DOIUrl":"10.1007/s10485-024-09769-w","url":null,"abstract":"<div><p>It is well-known that DG-enhancements of the unbounded derived category <span>({text {D}}_{qc}(X))</span> of quasi-coherent sheaves on a scheme <i>X</i> are all equivalent to each other. Here we present an explicit model which leads to applications in deformation theory. In particular, we shall describe three models for derived endomorphisms of a quasi-coherent sheaf <span>(mathcal {F})</span> on a finite-dimensional Noetherian separated scheme (even if <span>(mathcal {F})</span> does not admit a locally free resolution). Moreover, these complexes are endowed with DG-Lie algebra structures, which we prove to control infinitesimal deformations of <span>(mathcal {F})</span>.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-05-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10485-024-09769-w.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140930535","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
Codescent and Bicolimits of Pseudo-Algebras 伪代数的编码和双极限
IF 0.6 4区 数学
Applied Categorical Structures Pub Date : 2024-04-09 DOI: 10.1007/s10485-024-09765-0
Axel Osmond
{"title":"Codescent and Bicolimits of Pseudo-Algebras","authors":"Axel Osmond","doi":"10.1007/s10485-024-09765-0","DOIUrl":"10.1007/s10485-024-09765-0","url":null,"abstract":"<div><p>We categorify cocompleteness results of monad theory, in the context of pseudomonads. We first prove a general result establishing that, in any 2-category, weighted bicolimits can be constructed from oplax bicolimits and bicoequalizers of codescent objects. After prerequisites on pseudomonads and their pseudo-algebras, we give a 2-dimensional Linton theorem reducing bicocompleteness of 2-categories of pseudo-algebras to existence of bicoequalizers of codescent objects. Finally we prove this condition to be fulfilled in the case of a bifinitary pseudomonad, ensuring bicocompleteness.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-04-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140568364","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
Morita Equivalence and Morita Duality for Rings with Local Units and the Subcategory of Projective Unitary Modules 带局部单元的环的莫里塔等价性和莫里塔对偶性以及投影单元模子子类
IF 0.6 4区 数学
Applied Categorical Structures Pub Date : 2024-04-05 DOI: 10.1007/s10485-024-09764-1
Ziba Fazelpour, Alireza Nasr-Isfahani
{"title":"Morita Equivalence and Morita Duality for Rings with Local Units and the Subcategory of Projective Unitary Modules","authors":"Ziba Fazelpour,&nbsp;Alireza Nasr-Isfahani","doi":"10.1007/s10485-024-09764-1","DOIUrl":"10.1007/s10485-024-09764-1","url":null,"abstract":"<div><p>We study Morita equivalence and Morita duality for rings with local units. We extend Auslander’s results on the theory of Morita equivalence and the Azumaya–Morita duality theorem to rings with local units. As a consequence, we give a version of Morita theorem and Azumaya–Morita duality theorem over rings with local units in terms of their full subcategory of finitely generated projective unitary modules and full subcategory of finitely generated injective unitary modules.\u0000</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-04-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140568466","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
Grothendieck’s Vanishing and Non-vanishing Theorems in an Abstract Module Category 抽象模类中的格罗登第克消失和非消失定理
IF 0.6 4区 数学
Applied Categorical Structures Pub Date : 2024-04-04 DOI: 10.1007/s10485-024-09767-y
Divya Ahuja, Surjeet Kour
{"title":"Grothendieck’s Vanishing and Non-vanishing Theorems in an Abstract Module Category","authors":"Divya Ahuja,&nbsp;Surjeet Kour","doi":"10.1007/s10485-024-09767-y","DOIUrl":"10.1007/s10485-024-09767-y","url":null,"abstract":"<div><p>In this article, we prove Grothendieck’s Vanishing and Non-vanishing Theorems of local cohomology objects in the non-commutative algebraic geometry framework of Artin and Zhang. Let <i>k</i> be a field of characteristic zero and <span>({mathscr {S}}_{k})</span> be a strongly locally noetherian <i>k</i>-linear Grothendieck category. For a commutative noetherian <i>k</i>-algebra <i>R</i>, let <span>({mathscr {S}}_R)</span> denote the category of <i>R</i>-objects in <span>({mathscr {S}}_k)</span> obtained through a non-commutative base change by <i>R</i> of the abelian category <span>({mathscr {S}}_{k})</span>. First, we establish Grothendieck’s Vanishing Theorem for any object <span>({mathscr {M}})</span> in <span>({mathscr {S}}_{R})</span>. Further, if <i>R</i> is local and <span>({mathscr {S}}_{k})</span> is Hom-finite, we prove Non-vanishing Theorem for any finitely generated flat object <span>({mathscr {M}})</span> in <span>({mathscr {S}}_R)</span>.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-04-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10485-024-09767-y.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140568363","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
The Categorical Basis of Dynamical Entropy 动态熵的分类基础
IF 0.6 4区 数学
Applied Categorical Structures Pub Date : 2024-03-08 DOI: 10.1007/s10485-024-09763-2
Suddhasattwa Das
{"title":"The Categorical Basis of Dynamical Entropy","authors":"Suddhasattwa Das","doi":"10.1007/s10485-024-09763-2","DOIUrl":"10.1007/s10485-024-09763-2","url":null,"abstract":"<div><p>Many branches of theoretical and applied mathematics require a quantifiable notion of complexity. One such circumstance is a topological dynamical system—which involves a continuous self-map on a metric space. There are many notions of complexity one can assign to the repeated iterations of the map. One of the foundational discoveries of dynamical systems theory is that these have a common limit, known as the topological entropy of the system. We present a category-theoretic view of topological dynamical entropy, which reveals that the common limit is a consequence of the structural assumptions on these notions. One of the key tools developed is that of a qualifying pair of functors, which ensure a limit preserving property in a manner similar to the sandwiching theorem from Real Analysis. It is shown that the diameter and Lebesgue number of open covers of a compact space, form a qualifying pair of functors. The various notions of complexity are expressed as functors, and natural transformations between these functors lead to their joint convergence to the common limit.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-03-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140075428","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
Idempotent Completions of n-Exangulated Categories n 外切范畴的幂等补全
IF 0.6 4区 数学
Applied Categorical Structures Pub Date : 2024-02-08 DOI: 10.1007/s10485-023-09758-5
Carlo Klapproth, Dixy Msapato, Amit Shah
{"title":"Idempotent Completions of n-Exangulated Categories","authors":"Carlo Klapproth,&nbsp;Dixy Msapato,&nbsp;Amit Shah","doi":"10.1007/s10485-023-09758-5","DOIUrl":"10.1007/s10485-023-09758-5","url":null,"abstract":"<div><p>Suppose <span>((mathcal {C},mathbb {E},mathfrak {s}))</span> is an <i>n</i>-exangulated category. We show that the idempotent completion and the weak idempotent completion of <span>(mathcal {C})</span> are again <i>n</i>-exangulated categories. Furthermore, we also show that the canonical inclusion functor of <span>(mathcal {C})</span> into its (resp. weak) idempotent completion is <i>n</i>-exangulated and 2-universal among <i>n</i>-exangulated functors from <span>((mathcal {C},mathbb {E},mathfrak {s}))</span> to (resp. weakly) idempotent complete <i>n</i>-exangulated categories. Furthermore, we prove that if <span>((mathcal {C},mathbb {E},mathfrak {s}))</span> is <i>n</i>-exact, then so too is its (resp. weak) idempotent completion. We note that our methods of proof differ substantially from the extriangulated and <span>((n+2))</span>-angulated cases. However, our constructions recover the known structures in the established cases up to <i>n</i>-exangulated isomorphism of <i>n</i>-exangulated categories.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":null,"pages":null},"PeriodicalIF":0.6,"publicationDate":"2024-02-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10485-023-09758-5.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139758334","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
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学术官方微信