arXiv - MATH - Category Theory最新文献

筛选
英文 中文
More on soundness in the enriched context 更多关于丰富背景下的健全性问题
arXiv - MATH - Category Theory Pub Date : 2024-08-31 DOI: arxiv-2409.00389
Giacomo Tendas
{"title":"More on soundness in the enriched context","authors":"Giacomo Tendas","doi":"arxiv-2409.00389","DOIUrl":"https://doi.org/arxiv-2409.00389","url":null,"abstract":"Working within enriched category theory, we further develop the use of\u0000soundness, introduced by Ad'amek, Borceux, Lack, and Rosick'y for ordinary\u0000categories. In particular we investigate: (1) the theory of locally\u0000$Phi$-presentable $mathcal V$-categories for a sound class $Phi$, (2) the\u0000problem of whether every $Phi$-accessible $mathcal V$-category is\u0000$Psi$-accessible, for given sound classes $PhisubseteqPsi$, and (3) a\u0000notion of $Phi$-ary equational theory whose $mathcal V$-categories of models\u0000characterize algebras for $Phi$-ary monads on $mathcal V$.","PeriodicalId":501135,"journal":{"name":"arXiv - MATH - Category Theory","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-08-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142225576","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Fibrations of algebras 代数的裂变
arXiv - MATH - Category Theory Pub Date : 2024-08-29 DOI: arxiv-2408.16581
Danel Ahman, Greta Coraglia, Davide Castelnovo, Fosco Loregian, Nelson Martins-Ferreira, Ülo Reimaa
{"title":"Fibrations of algebras","authors":"Danel Ahman, Greta Coraglia, Davide Castelnovo, Fosco Loregian, Nelson Martins-Ferreira, Ülo Reimaa","doi":"arxiv-2408.16581","DOIUrl":"https://doi.org/arxiv-2408.16581","url":null,"abstract":"We study fibrations arising from indexed categories of the following form:\u0000fix two categories $mathcal{A},mathcal{X}$ and a functor $F : mathcal{A}\u0000times mathcal{X} longrightarrowmathcal{X} $, so that to each $F_A=F(A,-)$\u0000one can associate a category of algebras $mathbf{Alg}_mathcal{X}(F_A)$ (or an\u0000Eilenberg-Moore, or a Kleisli category if each $F_A$ is a monad). We call the\u0000functor $int^{mathcal{A}}mathbf{Alg} to mathcal{A}$, whose typical fibre\u0000over $A$ is the category $mathbf{Alg}_mathcal{X}(F_A)$, the \"fibration of\u0000algebras\" obtained from $F$. Examples of such constructions arise in disparate areas of mathematics, and\u0000are unified by the intuition that $int^mathcal{A}mathbf{Alg} $ is a form of\u0000semidirect product of the category $mathcal{A}$, acting on $mathcal{X}$, via\u0000the `representation' given by the functor $F : mathcal{A} times mathcal{X}\u0000longrightarrowmathcal{X}$. After presenting a range of examples and motivating said intuition, the\u0000present work focuses on comparing a generic fibration with a fibration of\u0000algebras: we prove that if $mathcal{A}$ has an initial object, under very mild\u0000assumptions on a fibration $p : mathcal{E}longrightarrow mathcal{A}$, we can\u0000define a canonical action of $mathcal{A}$ letting it act on the fibre\u0000$mathcal{E}_varnothing$ over the initial object. This result bears some\u0000resemblance to the well-known fact that the fundamental group $pi_1(B)$ of a\u0000base space acts naturally on the fibers $F_b = p^{-1}b$ of a fibration $p : E\u0000to B$.","PeriodicalId":501135,"journal":{"name":"arXiv - MATH - Category Theory","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142199175","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
On the straightening of every functor 关于每个函数的拉直
arXiv - MATH - Category Theory Pub Date : 2024-08-29 DOI: arxiv-2408.16539
Thomas Blom
{"title":"On the straightening of every functor","authors":"Thomas Blom","doi":"arxiv-2408.16539","DOIUrl":"https://doi.org/arxiv-2408.16539","url":null,"abstract":"We show that any functor between $infty$-categories can be straightened.\u0000More precisely, we show that for any $infty$-category $mathcal{C}$, there is\u0000an equivalence between the $infty$-category\u0000$(mathrm{Cat}_{infty})_{/mathcal{C}}$ of $infty$-categories over\u0000$mathcal{C}$ and the $infty$-category of unital lax functors from\u0000$mathcal{C}$ to the double $infty$-category $mathrm{Corr}$ of\u0000correspondences. The proof relies on a certain universal property of the Morita\u0000category which is of independent interest.","PeriodicalId":501135,"journal":{"name":"arXiv - MATH - Category Theory","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142199191","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Topoi with enough points and topological groupoids 有足够多点的拓扑和拓扑群集
arXiv - MATH - Category Theory Pub Date : 2024-08-28 DOI: arxiv-2408.15848
Joshua Wrigley
{"title":"Topoi with enough points and topological groupoids","authors":"Joshua Wrigley","doi":"arxiv-2408.15848","DOIUrl":"https://doi.org/arxiv-2408.15848","url":null,"abstract":"We establish a bi-equivalence between the bi-category of topoi with enough\u0000points and a localisation of a bi-subcategory of topological groupoids","PeriodicalId":501135,"journal":{"name":"arXiv - MATH - Category Theory","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142199176","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Parallel and algebraic lambda-calculi in intuitionistic propositional logic 直观命题逻辑中的并行和代数λ演算法
arXiv - MATH - Category Theory Pub Date : 2024-08-28 DOI: arxiv-2408.16102
Alejandro Díaz-Caro, Octavio Malherbe
{"title":"Parallel and algebraic lambda-calculi in intuitionistic propositional logic","authors":"Alejandro Díaz-Caro, Octavio Malherbe","doi":"arxiv-2408.16102","DOIUrl":"https://doi.org/arxiv-2408.16102","url":null,"abstract":"We introduce a novel model that interprets the parallel operator, also\u0000present in algebraic calculi, within the context of propositional logic. This\u0000interpretation uses the category $mathbf{Mag}_{mathbf{Set}}$, whose objects\u0000are magmas and whose arrows are functions from the category $mathbf{Set}$,\u0000specifically for the case of the parallel lambda calculus. Similarly, we use\u0000the category $mathbf{AMag}^{mathcal S}_{mathbf{Set}}$, whose objects are\u0000action magmas and whose arrows are also functions from the category\u0000$mathbf{Set}$, for the case of the algebraic lambda calculus. Our approach\u0000diverges from conventional interpretations where disjunctions are handled by\u0000coproducts, instead proposing to handle them with the union of disjoint union\u0000and the Cartesian product.","PeriodicalId":501135,"journal":{"name":"arXiv - MATH - Category Theory","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142225577","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Formal category theory in $infty$-equipments II: Lax functors, monoidality and fibrations 在$infty$-装备中的形式范畴论II:拉克斯函数、一元性和纤维性
arXiv - MATH - Category Theory Pub Date : 2024-08-27 DOI: arxiv-2408.15190
Jaco Ruit
{"title":"Formal category theory in $infty$-equipments II: Lax functors, monoidality and fibrations","authors":"Jaco Ruit","doi":"arxiv-2408.15190","DOIUrl":"https://doi.org/arxiv-2408.15190","url":null,"abstract":"We study the framework of $infty$-equipments which is designed to produce\u0000well-behaved theories for different generalizations of $infty$-categories in a\u0000synthetic and uniform fashion. We consider notions of (lax) functors between\u0000these equipments, closed monoidal structures on these equipments, and\u0000fibrations internal to these equipments. As a main application, we will\u0000demonstrate that the foundations of internal $infty$-category theory can be\u0000readily obtained using this formalism.","PeriodicalId":501135,"journal":{"name":"arXiv - MATH - Category Theory","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-08-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142199177","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
On functor double $infty$-categories 关于函子双 $infty$ 类别
arXiv - MATH - Category Theory Pub Date : 2024-08-26 DOI: arxiv-2408.14335
Jaco Ruit
{"title":"On functor double $infty$-categories","authors":"Jaco Ruit","doi":"arxiv-2408.14335","DOIUrl":"https://doi.org/arxiv-2408.14335","url":null,"abstract":"In this paper, we study double $infty$-categories of double functors. To\u0000this end, we exhibit the cartesian closed structure of the $infty$-category of\u0000double $infty$-categories and various localizations. We prove a theorem that\u0000characterizes the companions and conjoints in functor double\u0000$infty$-categories via the notion of companionable and conjointable 2-cells in\u0000double $infty$-categories. Moreover, we show that under suitable conditions,\u0000functor double $infty$-categories are horizontally closed. Throughout the\u0000paper, we highlight a few applications to $(infty,2)$-category theory and\u0000indexed exponentiability.","PeriodicalId":501135,"journal":{"name":"arXiv - MATH - Category Theory","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-08-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142225578","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Towards All Categorical Symmetries in 2+1 Dimensions 迈向 2+1 维度中的所有分类对称性
arXiv - MATH - Category Theory Pub Date : 2024-08-25 DOI: arxiv-2408.13931
Mathew Bullimore, Jamie J. Pearson
{"title":"Towards All Categorical Symmetries in 2+1 Dimensions","authors":"Mathew Bullimore, Jamie J. Pearson","doi":"arxiv-2408.13931","DOIUrl":"https://doi.org/arxiv-2408.13931","url":null,"abstract":"We investigate the most general gauging operations in 2+1 dimensional\u0000oriented field theories with finite symmetry groups, which correspond to gapped\u0000boundary conditions in 3+1 dimensional Dijkgraaf-Witten theory. The\u0000classification is achieved by enumerating 2+1 dimensional oriented topological\u0000quantum field theories that cancel the 't Hooft anomaly associated with the\u0000symmetry. This framework is rigorously formulated using twisted crossed\u0000extensions of modular fusion categories and projective 3-representations.\u0000Additionally, we explore the resulting fusion 2-category symmetries and argue\u0000that this framework captures all possible categorical symmetries in 2+1\u0000dimensional oriented field theories.","PeriodicalId":501135,"journal":{"name":"arXiv - MATH - Category Theory","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-08-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142199178","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Admissible weak factorization systems on extriangulated categories 外延范畴上可容许的弱因式分解系统
arXiv - MATH - Category Theory Pub Date : 2024-08-24 DOI: arxiv-2408.13548
Yajun Ma, Hanyang You, Dongdong Zhang, Panyue Zhou
{"title":"Admissible weak factorization systems on extriangulated categories","authors":"Yajun Ma, Hanyang You, Dongdong Zhang, Panyue Zhou","doi":"arxiv-2408.13548","DOIUrl":"https://doi.org/arxiv-2408.13548","url":null,"abstract":"Extriangulated categories, introduced by Nakaoka and Palu, serve as a\u0000simultaneous generalization of exact and triangulated categories. In this\u0000paper, we first introduce the concept of admissible weak factorization systems\u0000and establish a bijection between cotorsion pairs and admissible weak\u0000factorization systems in extriangulated categories. Consequently, we give the\u0000equivalences between hereditary cotorsion pairs and compatible cotorsion pairs\u0000via admissible weak factorization systems under certain conditions in\u0000extriangulated categories, thereby generalizing a result by Di, Li, and Liang.","PeriodicalId":501135,"journal":{"name":"arXiv - MATH - Category Theory","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142225579","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Fusion 3-Categories for Duality Defects 融合 3--二元性缺陷的类别
arXiv - MATH - Category Theory Pub Date : 2024-08-23 DOI: arxiv-2408.13302
Lakshya Bhardwaj, Thibault Décoppet, Sakura Schafer-Nameki, Matthew Yu
{"title":"Fusion 3-Categories for Duality Defects","authors":"Lakshya Bhardwaj, Thibault Décoppet, Sakura Schafer-Nameki, Matthew Yu","doi":"arxiv-2408.13302","DOIUrl":"https://doi.org/arxiv-2408.13302","url":null,"abstract":"We study the fusion 3-categorical symmetries for quantum theories in (3+1)d\u0000with self-duality defects. Such defects have been realized physically by\u0000half-space gauging in theories with 1-form symmetries $A[1]$ for an abelian\u0000group $A$, and have found applications in the continuum and the lattice. These\u0000fusion 3-categories will be called (generalized) Tambara-Yamagami fusion\u00003-categories $(mathbf{3TY})$. We consider the Brauer-Picard and Picard\u00004-groupoids to construct these categories using a 3-categorical version of the\u0000extension theory introduced by Etingof, Nikshych and Ostrik. These two\u00004-groupoids correspond to the construction of duality defects either directly\u0000in 4d, or from the 5d Symmetry Topological Field Theory (SymTFT). The Witt\u0000group of non-degenerate braided fusion 1-categories naturally appears in the\u0000aforementioned 4-groupoids and represents enrichments of standard duality\u0000defects by (2+1)d TFTs. Our main objective is to study graded extensions of the\u0000fusion 3-category $mathbf{3Vect}(A[1])$. Firstly, we use invertible bimodule\u00003-categories and the Brauer-Picard 4-groupoid. Secondly, we use that the\u0000Brauer-Picard 4-groupoid of $mathbf{3Vect}(A[1])$ can be identified with the\u0000Picard 4-groupoid of its Drinfeld center. Moreover, the Drinfeld center of\u0000$mathbf{3Vect}(A[1])$, which represents topological defects of the SymTFT, is\u0000completely described by a sylleptic strongly fusion 2-category formed by\u0000topological surface defects of the SymTFT. These are classified by a finite\u0000abelian group equipped with an alternating 2-form. We relate the Picard\u00004-groupoid of the corresponding braided fusion 3-categories with a generalized\u0000Witt group constructed from certain graded braided fusion 1-categories using a\u0000twisted Deligne tensor product. We perform explicit computations for\u0000$mathbb{Z}/2$ and $mathbb{Z}/4$ graded $mathbf{3TY}$ categories.","PeriodicalId":501135,"journal":{"name":"arXiv - MATH - Category Theory","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-08-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142225580","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"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学术官方微信