Applied Categorical Structures最新文献

筛选
英文 中文
Presenting Quotient Locales 表示商区域
IF 0.6 4区 数学
Applied Categorical Structures Pub Date : 2023-07-21 DOI: 10.1007/s10485-023-09736-x
Graham Manuell
{"title":"Presenting Quotient Locales","authors":"Graham Manuell","doi":"10.1007/s10485-023-09736-x","DOIUrl":"10.1007/s10485-023-09736-x","url":null,"abstract":"<div><p>It is often useful to be able to deal with locales in terms of presentations of their underlying frames, or equivalently, the geometric theories which they classify. Given a presentation for a locale, presentations for its sublocales can be obtained by simply appending additional relations, but the case of quotient locales is more subtle. We provide simple procedures for obtaining presentations of open quotients, proper quotients or general triquotients from presentations of the parent locale. The results are proved with the help of the suplattice, preframe and dcpo coverage theorems and applied to obtain presentations of the circle from ones for <span>(mathbb {R})</span> and [0, 1].</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":"31 4","pages":""},"PeriodicalIF":0.6,"publicationDate":"2023-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10485-023-09736-x.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42361339","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}
引用次数: 1
Yoneda Lemma for Simplicial Spaces 简单空间的Yoneda引理
IF 0.6 4区 数学
Applied Categorical Structures Pub Date : 2023-07-11 DOI: 10.1007/s10485-023-09734-z
Nima Rasekh
{"title":"Yoneda Lemma for Simplicial Spaces","authors":"Nima Rasekh","doi":"10.1007/s10485-023-09734-z","DOIUrl":"10.1007/s10485-023-09734-z","url":null,"abstract":"<div><p>We study the Yoneda lemma for arbitrary simplicial spaces. We do that by introducing <i>left fibrations</i> of simplicial spaces and studying their associated model structure, the <i>covariant model structure</i>. In particular, we prove a <i>recognition principle</i> for covariant equivalences over an arbitrary simplicial space and <i>invariance</i> of the covariant model structure with respect to complete Segal space equivalences.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":"31 4","pages":""},"PeriodicalIF":0.6,"publicationDate":"2023-07-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10485-023-09734-z.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42970719","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}
引用次数: 19
R-Linear Triangulated Categories and Stability Conditions R-线性三角范畴及其稳定性条件
IF 0.6 4区 数学
Applied Categorical Structures Pub Date : 2023-06-29 DOI: 10.1007/s10485-023-09731-2
Kotaro Kawatani, Hiroyuki Minamoto
{"title":"R-Linear Triangulated Categories and Stability Conditions","authors":"Kotaro Kawatani,&nbsp;Hiroyuki Minamoto","doi":"10.1007/s10485-023-09731-2","DOIUrl":"10.1007/s10485-023-09731-2","url":null,"abstract":"<div><p>Let <i>R</i> be a commutative ring. We introduce the notion of support of a object in an <i>R</i>-linear triangulated category. As an application, we study the non-existence of Bridgeland stability condition on <i>R</i>-linear triangulated categories.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":"31 4","pages":""},"PeriodicalIF":0.6,"publicationDate":"2023-06-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42613343","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
Correction to: Ramsey Properties of Products and Pullbacks of Categories and the Grothendieck Construction 修正:乘积的Ramsey性质和范畴的回调与Grothendieck构造
IF 0.6 4区 数学
Applied Categorical Structures Pub Date : 2023-06-12 DOI: 10.1007/s10485-023-09730-3
Dragan Mašulović
{"title":"Correction to: Ramsey Properties of Products and Pullbacks of Categories and the Grothendieck Construction","authors":"Dragan Mašulović","doi":"10.1007/s10485-023-09730-3","DOIUrl":"10.1007/s10485-023-09730-3","url":null,"abstract":"","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":"31 3","pages":""},"PeriodicalIF":0.6,"publicationDate":"2023-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48353194","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
De Vries Powers and Proximity Specker Algebras De Vries幂与邻近Specker代数
IF 0.6 4区 数学
Applied Categorical Structures Pub Date : 2023-04-21 DOI: 10.1007/s10485-023-09714-3
G. Bezhanishvili, L. Carai, P. J. Morandi, B. Olberding
{"title":"De Vries Powers and Proximity Specker Algebras","authors":"G. Bezhanishvili,&nbsp;L. Carai,&nbsp;P. J. Morandi,&nbsp;B. Olberding","doi":"10.1007/s10485-023-09714-3","DOIUrl":"10.1007/s10485-023-09714-3","url":null,"abstract":"<div><p>By de Vries duality, the category <span>(textsf {KHaus})</span> of compact Hausdorff spaces is dually equivalent to the category <span>(textsf {DeV})</span> of de Vries algebras. There is a similar duality for <span>(textsf {KHaus})</span>, where de Vries algebras are replaced by proximity Baer-Specker algebras. The functor associating with each compact Hausdorff space a proximity Baer-Specker algebra is described by generalizing the notion of a boolean power of a totally ordered domain to that of a de Vries power. It follows that <span>(textsf {DeV})</span> is equivalent to the category <span>(text {textsf{PBSp}})</span> of proximity Baer-Specker algebras. The equivalence is obtained by passing through <span>(textsf {KHaus})</span>, and hence is not choice-free. In this paper we give a direct algebraic proof of this equivalence, which is choice-independent. To do so, we give an alternate choice-free description of de Vries powers of a totally ordered domain.\u0000</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":"31 3","pages":""},"PeriodicalIF":0.6,"publicationDate":"2023-04-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10485-023-09714-3.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48156056","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}
引用次数: 1
Additive Grothendieck Pretopologies and Presentations of Tensor Categories 张量范畴的加性Grothendieck预拓扑与表示
IF 0.6 4区 数学
Applied Categorical Structures Pub Date : 2023-04-20 DOI: 10.1007/s10485-023-09722-3
Kevin Coulembier
{"title":"Additive Grothendieck Pretopologies and Presentations of Tensor Categories","authors":"Kevin Coulembier","doi":"10.1007/s10485-023-09722-3","DOIUrl":"10.1007/s10485-023-09722-3","url":null,"abstract":"<div><p>We study how tensor categories can be presented in terms of rigid monoidal categories and Grothendieck topologies and show that such presentations lead to strong universal properties. As the main tool in this study, we define a notion on preadditive categories which plays a role similar to (a generalisation of) the notion of a Grothendieck pretopology on an unenriched category. Each such additive pretopology defines an additive Grothendieck topology and suffices to define the sheaf category. This new notion also allows us to study the noetherian and subcanonical nature of additive topologies, to describe easily the join of a family of additive topologies and to identify useful universal properties of the sheaf category.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":"31 3","pages":""},"PeriodicalIF":0.6,"publicationDate":"2023-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10485-023-09722-3.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46010150","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}
引用次数: 5
Profunctors Between Posets and Alexander Duality 偏序集与亚历山大对偶之间的Profunctors
IF 0.6 4区 数学
Applied Categorical Structures Pub Date : 2023-04-10 DOI: 10.1007/s10485-023-09711-6
Gunnar Fløystad
{"title":"Profunctors Between Posets and Alexander Duality","authors":"Gunnar Fløystad","doi":"10.1007/s10485-023-09711-6","DOIUrl":"10.1007/s10485-023-09711-6","url":null,"abstract":"<div><p>We consider profunctors <img> between posets and introduce their <i>graph</i> and <i>ascent</i>. The profunctors <span>(text {Pro}(P,Q))</span> form themselves a poset, and we consider a partition <span>(mathcal {I}sqcup mathcal {F})</span> of this into a down-set <span>(mathcal {I})</span> and up-set <span>(mathcal {F})</span>, called a <i>cut</i>. To elements of <span>(mathcal {F})</span> we associate their graphs, and to elements of <span>(mathcal {I})</span> we associate their ascents. Our basic results is that this, suitably refined, preserves being a cut: We get a cut in the Boolean lattice of subsets of the underlying set of <span>(Q times P)</span>. Cuts in finite Booleans lattices correspond precisely to finite simplicial complexes. We apply this in commutative algebra where these give classes of Alexander dual square-free monomial ideals giving the full and natural generalized setting of isotonian ideals and letterplace ideals for posets. We study <span>(text {Pro}({mathbb N}, {mathbb N}))</span>. Such profunctors identify as order preserving maps <span>(f: {mathbb N}rightarrow {mathbb N}cup {infty })</span>. For our applications when <i>P</i> and <i>Q</i> are infinite, we also introduce a topology on <span>(text {Pro}(P,Q))</span>, in particular on profunctors <span>(text {Pro}({mathbb N},{mathbb N}))</span>.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":"31 2","pages":""},"PeriodicalIF":0.6,"publicationDate":"2023-04-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10485-023-09711-6.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45555584","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}
引用次数: 3
Inner Automorphisms of Presheaves of Groups 群的Presheaves的内自同构
IF 0.6 4区 数学
Applied Categorical Structures Pub Date : 2023-04-08 DOI: 10.1007/s10485-023-09720-5
Jason Parker
{"title":"Inner Automorphisms of Presheaves of Groups","authors":"Jason Parker","doi":"10.1007/s10485-023-09720-5","DOIUrl":"10.1007/s10485-023-09720-5","url":null,"abstract":"<div><p>It has been proven by Schupp and Bergman that the inner automorphisms of groups can be characterized purely <i>categorically</i> as those group automorphisms that can be coherently extended along any outgoing homomorphism. One is thus motivated to define a notion of <i>(categorical) inner automorphism</i> in an arbitrary category, as an automorphism that can be coherently extended along any outgoing morphism, and the theory of such automorphisms forms part of the theory of <i>covariant isotropy</i>. In this paper, we prove that the categorical inner automorphisms in any category <span>(textsf{Group}^mathcal {J})</span> of presheaves of groups can be characterized in terms of conjugation-theoretic inner automorphisms of the component groups, together with a natural automorphism of the identity functor on the index category <span>(mathcal {J})</span>. In fact, we deduce such a characterization from a much more general result characterizing the categorical inner automorphisms in any category <span>(mathbb {T}textsf{mod}^mathcal {J})</span> of presheaves of <span>(mathbb {T})</span>-models for a suitable first-order theory <span>(mathbb {T})</span>.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":"31 2","pages":""},"PeriodicalIF":0.6,"publicationDate":"2023-04-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10485-023-09720-5.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41787078","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}
引用次数: 3
Free gs-Monoidal Categories and Free Markov Categories 自由gs-一元范畴和自由马尔可夫范畴
IF 0.6 4区 数学
Applied Categorical Structures Pub Date : 2023-04-08 DOI: 10.1007/s10485-023-09717-0
Tobias Fritz, Wendong Liang
{"title":"Free gs-Monoidal Categories and Free Markov Categories","authors":"Tobias Fritz,&nbsp;Wendong Liang","doi":"10.1007/s10485-023-09717-0","DOIUrl":"10.1007/s10485-023-09717-0","url":null,"abstract":"<div><p>Categorical probability has recently seen significant advances through the formalism of Markov categories, within which several classical theorems have been proven in entirely abstract categorical terms. Closely related to Markov categories are gs-monoidal categories, also known as CD categories. These omit a condition that implements the normalization of probability. Extending work of Corradini and Gadducci, we construct free gs-monoidal and free Markov categories generated by a collection of morphisms of arbitrary arity and coarity. For free gs-monoidal categories, this comes in the form of an explicit combinatorial description of their morphisms as structured cospans of labeled hypergraphs. These can be thought of as a formalization of gs-monoidal string diagrams (<span>(=)</span>term graphs) as a combinatorial data structure. We formulate the appropriate 2-categorical universal property based on ideas of Walters and prove that our categories satisfy it. We expect our free categories to be relevant for computer implementations and we also argue that they can be used as statistical causal models generalizing Bayesian networks.\u0000</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":"31 2","pages":""},"PeriodicalIF":0.6,"publicationDate":"2023-04-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10485-023-09717-0.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44975154","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}
引用次数: 19
Distributive Laws for Relative Monads 相对单子的分配律
IF 0.6 4区 数学
Applied Categorical Structures Pub Date : 2023-04-05 DOI: 10.1007/s10485-023-09716-1
Gabriele Lobbia
{"title":"Distributive Laws for Relative Monads","authors":"Gabriele Lobbia","doi":"10.1007/s10485-023-09716-1","DOIUrl":"10.1007/s10485-023-09716-1","url":null,"abstract":"<div><p>We introduce the notion of a distributive law between a relative monad and a monad. We call this a relative distributive law and define it in any 2-category <span>(mathcal {K})</span>. In order to do that, we introduce the 2-category of relative monads in a 2-category <span>(mathcal {K})</span> with relative monad morphisms and relative monad transformations as 1- and 2-cells, respectively. We relate our definition to the 2-category of monads in <span>(mathcal {K})</span> defined by Street. Using this perspective, we prove two Beck-type theorems regarding relative distributive laws. We also describe what does it mean to have Eilenberg–Moore and Kleisli objects in this context and give examples in the 2-category of locally small categories.</p></div>","PeriodicalId":7952,"journal":{"name":"Applied Categorical Structures","volume":"31 2","pages":""},"PeriodicalIF":0.6,"publicationDate":"2023-04-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s10485-023-09716-1.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46175820","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}
引用次数: 1
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学术文献互助群
群 号:604180095
Book学术官方微信