首页/论文/2004.06238

arXiv 2004.062382020-04math.CTmath.GN

内部邻域结构II：闭包和闭态射

Internal Neighbourhood Structures II: Closure and closed morphisms

Partha Pratim Ghosh

备注：: The previous version used a notion of closure which was trivial --- I am thankful to the anonymous referee of TAC for pointing this out to me. This required a completely new working of the closure operation. Hopefully this time it faithfully and conservatively extends the well known notions

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

内部preneighborhood空间内的任何一个有限的余积和适当的因式分解结构是第一次介绍了在我以前的文件。提出了内部预邻域空间上的一种闭包运算，并研究了闭态射及其紧密同盟。因此，它介绍了几个众所周知的类的拓扑空间的preneighborhood空间的类似物。本文建立了这些空间的一些初步性质。本文的结果表明，preneighborhood系统是更一般的闭包算子，方便地允许识别性质的态射类独立的连续态射诱导闭包算子。

英文摘要：

Internal preneighbourhood spaces inside any finitely complete category with finite coproducts and proper factorisation structure were first introduced in my earlier paper. This paper proposes a closure operation on internal preneighbourhood spaces and investigates closed morphisms and its close allies. Consequently it introduces analogues of several well known classes of topological spaces for preneighbourhood spaces. Some preliminary properties of these spaces are established in this paper. The results of this paper exhibit preneighbourhood systems are more general than closure operators and conveniently allows identifying properties of classes of morphisms independent of continuity of morphisms with respect to induced closure operators.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

严格单子拓扑 II：闭包空间的下降

Strict monadic topology II: descent for closure spaces

本文开创闭包空间的下降理论，主要贡献是刻画了下降态射，并证明了有限闭包空间范畴中下降态射均为有效下降态射，且满射闭映射与满射开映射均为有效下降态射。

2023-10-25math.CT

拓扑生成结构与相关态射族

Topogenous structures and related families of morphisms

在具有真$(\mathcal{E}, \mathcal{M})$ -因子分解系统的范畴$\mathcal{C}$中，研究了拓扑生成序的严格态射、余严格态射、初态射和终态射的概念。除了表明，他们允许同时研究的四类态射分别获得封闭，内部和邻域运营商，初始和最终态射导致我们研究的拓扑结构引起的点和共同点endofunctors。我们还提升了沿$\mathcal{M}$纤维化的拓扑结构。这使得人们能够获得提升的内部和邻里运营商沿$\mathcal{M}$纤维化，并包括解除封闭运营商在文献中找到。在本文的最后给出的一些例子证明了我们的结果。

2023-03-27math.CT

内邻域结构III：子空间的有限和

Internal Neighbourhood Structures III: Finite Sum of Subobjects

在\cite{2020}中，提出了在具有有限余积和真$(\mathsf{E}, \mathsf{M})$系统的完备范畴上的内预邻域空间的概念，使得对于每个对象$X$，$X$的$\mathsf{M}$ -子范畴的集合是完全格.在\cite{2021-clos}中研究了闭包算子、闭态射及其近似关系的概念。本文给出了三元组$(\mathbb{A}, \mathsf{E}, \mathsf{M})$（$\mathbb{A}$外延）等价于有限和闭对象的$\mathsf{M}$ -子代数集的结构条件.给出了闭嵌入（闭态射）在有限和下闭的等价条件。当容许子格（闭嵌入）在有限和下闭时，证明了有限和的容许子格（闭嵌入）的联半格是其分支联半格的双积.最后，它表明，只要一套封闭态射是封闭的有限总和，一套适当的（分别，分离）态射也是封闭的有限总和。这导致了紧（分别为Hausdorff）预邻域空间的满子范畴在有限和下封闭的等价条件。

2021-02-16math.CT

$\mathcal{Q}$ -闭包空间

$\mathcal{Q}$-closure spaces

对于小量子群$\mathcal{Q}$，$\mathcal{Q}$ -闭包空间是一个在预层范畴上具有闭包算子的富含$\mathcal{Q}$的小范畴。我们系统地研究了$\mathcal{Q}$ -闭包空间，特别关注它们的态射，并且由于预序模糊集是一种特殊的富含量子体的范畴，因此特别以模糊集上的模糊闭包空间为例进行了介绍。通过构造自然地推广连续映射的连续关系，证明了（在$\mathcal{Q}$ -版本的一般性中）闭包空间和闭连续关系的范畴等价于完全格和$\sup$ -保持映射的范畴.

2016-01-08math.CTmath.GN

一般闭包算子与拟因子分解结构

On General Closure Operators and Quasi Factorization Structures

本文引入了范畴$\cx$上关于态射类$\cm$的（拟弱遗传）一般闭包算子$\mb{C}$的概念，以及范畴$\cx$中的拟因子分解结构.证明了在一定条件下，若$(\ce, \cm)$是$\cx$中的拟分解结构，则$\cx$具有拟右$\cm$ -分解结构和拟左$\ce$ -分解结构.证明了对于一类$\cm$的拟弱遗传拟幂等QCD闭包算子，每一个拟因子分解结构$(\ce, \cm)$产生一个关于给定闭包算子的拟因子分解结构;对于关于某个类$\cm$的闭包算子，如果拟稠密态射类与拟闭态射类对构成拟因子分解结构，则该闭包算子是拟弱遗传的，也是拟幂等的。提供了几个说明性的例子。

2019-09-03math.CT

对称幺半范畴的自由紧闭包

The free compact closure of a symmetric monoidal category

通过对任意对称幺半范畴的对象自由添加伴随，构造了一个紧闭范畴。完成的态射被定义为由来自原始范畴的对象和态射注释的字符串图。对称的幺半范畴通过一个忠实的monoidal函子嵌入到它的完备化中，但与非对称的情形相反，这种嵌入是不完全的。我们的构造因子通过Int构造，它产生了另一个自由构造：对称幺半范畴上的自由追踪幺半范畴。

2022-01-21math.CT

更多相关论文收起更多论文

忠实和遗忘函子上的拓扑生成结构

Topogenous structures on faithful and amnestic functors

本文从相对于子代数的双纤维化定义的拓扑生成序的范畴概念出发，引入并研究了忠实函子和遗忘函子上的拓扑生成序。除其他事项外，它表明，这种方法捕捉到正式的封闭运营商，并导致正式内部运营商的介绍。转向特殊态射相对于订单介绍，我们表明，态射是严格的相对于一个命令，如果该命令保留其cocarrhythmic提升的余域，而态射是最终的，如果该命令反映其cocarrhythmic提升的域。拓扑和代数的关键例子，证明我们的结果包括在内。

2023-01-30math.CTmath.GN

一个空间对另一个空间的多重性

Multiplicity of a space over another space

我们定义了一个我们称之为多重性的概念。首先，定义了态射的重数。然后定义一个对象在另一个对象上的重数是所有态射从一个到另一个的重数的最小值。基于这种多样性，我们定义了一个伪距离的对象类。本文定义并研究了拓扑空间和连续映射范畴、群和同态范畴、主理想整环$R$上的双生成$R$ -模和$R$ -线性映射范畴以及3-球面上定向纽结的邻域范畴中的多重性。

2012-11-04math.ACmath.CTmath.GR

上反射子范畴与形式闭包算子

Epireflective subcategories and formal closure operators

在具有指定的（良好行为的）单态类$\mathcal{M}$的范畴$\mathscr{C}$上，D. Dikranjan和E. Giuli是$\mathcal{M}$的一个点内函子，被看作是箭头范畴$\mathscr{C}^\mathbf{2}$的一个完全子范畴，其对象是来自类$\mathcal{M}$的态射，它与余域函子$\mathsf{cod}\colon \mathcal{M}\to \mathscr{C}$“交换”。换句话说，闭包运算符由函子$C\colon \mathcal{M}\to\mathcal{M}$和自然变换$c\colon 1_\mathcal{M}\to C$组成，使得$\mathsf{cod} \cdot C=C$和$\mathsf{cod}\cdot c=1_\mathsf{cod}$。在本文中，我们适应这一概念的域函子$\mathsf{dom}\colon \mathcal{E}\to\mathscr{C}$，其中$\mathcal{E}$是一类满态在$\mathscr{C}$，并表明，这样的封闭运营商可以用来分类$\mathcal{E}$ -epireflective子范畴的$\mathscr{C}$，提供$\mathcal{E}$是封闭的组合下，并包含同构。专门的情况下，当$\mathcal{E}$是一类正则满态的正则范畴，我们得到已知的正则epir…

2017-04-19math.CT

拟一致结构与函子

Quasi-uniform structures and functors

研究了函子诱导的范畴拟一致结构。从一个具有适当$(\mathcal{E}, \mathcal{M})$-因子分解系统的范畴$\mathcal{C}$出发，定义了$\mathcal{C}$-态射关于$\mathcal{C}$上两个同生结构（特别是关于两个拟一致性）的连续性，并用它来描述$\mathcal{C}$的点和共点内函子所诱导的拟一致性.特别地，我们证明了$\mathcal{C}$的反射子范畴上的每一个拟一致性都可以提升到$\mathcal{C}$上的每一个反射态射都是连续的粗糙拟一致性。考虑到范畴提供了大的"空间"的准一致性，我们推广的连续性$\mathcal{C}$-态射（关于一个准一致性）函子。证明了对于$\mathcal{M}$-纤维化或具有右伴随的函子，可以得到其函子为$continuous$的粗拟一致性的具体构造.证明的结果示出产生那些得到的范畴封闭算子。在本文的最后考虑的各种例子说明了我们的结果。

2023-02-06math.CT

内部算子与拓扑范畴

Interior Operators and Topological Categories

闭包算子的范畴概念的引入统一了各种重要的概念，并在数学的不同领域产生了有趣的例子和应用（例如，见Dikranjan和Tholen（\cite{DT}））。对于一个拓扑空间，众所周知，相关的闭包和内部算子提供了拓扑的等价描述，但这在一般情况下是不正确的。因此，在范畴$\mathfrak C$和$\mathfrak C$中的单态射的固定类$\mathcal M$的上下文中定义和研究内部算子$I$的概念是有意义的，使得$\mathfrak C$是双$\mathcal M$-完全的，并且态射的逆像具有左伴随和右伴随，这就是本文的目的。

2010-10-21math.CT

多项式范畴上的结构

Structures on Categories of Polynomials

本文在具有限极限的范畴中定义了包含笛卡尔态射和垂直态射的多项式幺半范畴，推广了Dirichlet张量积及其闭包等结构，证明了余幺半群与内部范畴的对应关系，并通过双余模恢复了类型化多项式的双范畴。

2023-05-18math.CT