首页/论文/2001.09940

arXiv 2001.099402020-01math.CTmath.LO

万能指数箭头

The Universal Exponentiable Arrow

Taichi Uemura

备注：: to appear in Journal of Pure and Applied Algebra
DOI：: 10.1016/j.jpaa.2021.106991

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

我们表明，本质上代数理论的广义代数理论，作为一个范畴与有限的限制，有一个普遍的指数箭头的意义上说，任何指数箭头在任何范畴与有限的限制是图像的普遍指数箭头的一个本质上唯一的函子。

英文摘要：

We show that the essentially algebraic theory of generalized algebraic theories, regarded as a category with finite limits, has a universal exponentiable arrow in the sense that any exponentiable arrow in any category with finite limits is the image of the universal exponentiable arrow by an essentially unique functor.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

参数化高阶范畴理论II：泛结构

Parametrized higher category theory II: Universal constructions

我们开发了参数化的推广的一些基本概念的理论$\infty$ -范畴，包括因子分解系统，自由纤维化，指数纤维化，相对colimits和相对Kan扩展，过滤和筛选图，和通用的结构Ind和$P^Σ$。

2022-01-08math.ATmath.CT

可指数化虚拟双范畴与双范畴上的预层

Exponentiable virtual double categories and presheaves for double categories

Tallinn University of Technology（塔林科技大学）

本文通过虚拟双范畴的可指数性，构造了伪双范畴间的 lax 函子虚拟双范畴，并揭示了其作为指数中单子与模的虚拟双范畴的泛性质，简化了伪双范畴的 Yoneda 理论。

2026-05-29math.CT

$\infty$的纤维化-类别

Fibrations of $\infty$-categories

我们构造了一个由$\infty$ -范畴和其中的双模组成的带标记的$\infty$ -范畴${\sf Corr}$.我们证明了${\sf Corr}$分类指数纤维化。可指数纤维化的这种可表示性扩展了Lurie建立的余笛卡尔纤维化和笛卡尔纤维化的可表示性，因为它们分别被分类为$\infty$ -范畴的$\infty$ -范畴及其相反范畴。我们引入了带标记的$\infty$ -${\sf Corr}$的子范畴${\sf LCorr}$和${\sf RCorr}$，它们的态射分别是\emph{left final}和\emph{right initial}。我们确定这些标记的$\infty$ -子类别分类的纤维化的概念，并表明这些$\infty$ -类别进行普遍的左/右纤维化。

2020-06-23math.ATmath.CT

二阶代数理论的函子语义

Functorial Semantics of Second-Order Algebraic Theories

这项工作的目的是完成代数基础的二阶语言的观点范畴代数发达的Lawvere。为此，本文引入了二阶代数理论的概念，发展了二阶代数理论的基本理论。在定义中起关键作用的是二阶等式理论$\M$，它代表了每一种二阶语言中存在的最基本的算子和方程。范畴$\M$可以通过作为可指数对象上的自由范畴的泛性质抽象地描述。因此，在范畴代数的传统中，一个二阶代数理论由一个范畴$\Mlaw$和一个严格的范畴对象上的同一性函子$\M \to \Mlaw$组成，该函子保持$\Mlaw$的泛可指数对象。Lawvere的函子语义的代数理论，然后可以推广到二阶设置。为了验证我们理论的正确性，建立了两个范畴等价：在句法层次上，二阶方程表示与二阶代数理论的范畴等价;在语义层次上，二阶代数与二阶函子模型的范畴等价.

2014-01-19cs.LOmath.CT

连接万有箭头与广延单子的 2-伴随

The 2-Adjunction that relates Universal Arrows and Extensive Monads

本文显式构造了连接万有箭头与广延单子的 2-伴随，该构造基于相应 2-范畴的同构，为 Gray-范畴上的伪伴随与伪单子理论奠定基础，并为计算机科学家提供研究广延单子的工具。

2025-02-25cs.ITmath.CTmath.IT

范畴论如何运作：集合中态射、对偶性与泛构造的元素与区分分析

How Category Theory Works: The Elements & Distinctions Analysis of the Morphisms, Duality, and Universal Constructions in Sets

本文提出元素与区分是分析集合范畴中态射、对偶性与泛构造的基本概念工具，并可推广至具体范畴及抽象范畴论。

2024-10-04math.CTmath.LO

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

扭曲箭头范畴、操作数和Segal条件

Twisted arrow categories, operads and Segal conditions

引入了运算和运算上代数的扭箭头范畴。在范畴等价的前提下，单形范畴$Δ$、Segal范畴$Γ$、Connes循环范畴$Λ$、Moerdijk-Weiss树状范畴$Ω$以及类似于Hackney-Robertson-Yau的图范畴的范畴都是对称或循环运算的扭箭头范畴。扭曲的箭头范畴的操作允许Segal预层和2-Segal预层，或分解空间。操作数$P$的扭箭头范畴是对应范畴$Ω/P$通过边界保持态射的$(\infty, 1)$ -局部化.在温和的假设下，扭曲的箭头范畴的操作，密切相关的普遍包络范畴，是广义的里德。我们还介绍了扭曲的箭头操作，这是有关贝兹-多兰加建设。

2022-05-02math.ATmath.CT

增强的扭曲箭头类别

Enhanced twisted arrow categories

给定一个$\infty$-双范畴$\mathbb{D}$和它的基础$\infty$-范畴$\mathcal{D}$，我们构造了一个笛卡尔纤维化$\operatorname{Tw}(\mathbb{D})\to \mathcal{D} \times \mathcal{D}^{\operatorname{op}}$，我们称之为增强的扭曲箭头$\infty$-范畴，它对限制映射范畴函子$\operatorname{Map}_{\mathbb{D}}:\mathcal{D}^{\operatorname{op}}\times \mathcal{D} \to \mathbb{D}^{\operatorname{op}} \times \mathbb{D} \to \operatorname{Cat}_{\infty}$进行了分类.借助于这个新的构造，我们给出了自然变换$\operatorname{Nat}(F,G)$的$\infty$-范畴的一个描述，作为从$\infty$-范畴到$\infty$-双范畴的任何函子$F$和$G$的一个终结.作为我们的结果的应用，我们证明了arXiv：1501.02161中给出的加权余极限的定义满足预期的二维泛性质。

2020-09-24math.CT

双类纤维化结构和堆叠

Bicategorical fibration structures and stacks

由于加布里埃尔和齐斯曼，我们熟悉的分数范畴的构造允许我们以一种普遍的方式在一个范畴中反转一个W类的箭头。类似地，分数的双范畴允许我们将双范畴中的箭头集合倒置。在这种情况下，箭头是颠倒的，因为它们是等价的。与分数范畴一样，分数的双范畴也有一个缺陷，即即使W所在的双范畴是局部小的，它们也不必是局部小的。类似地，在W是2-范畴中的一类箭头的情况下，分数的双范畴一般不会是2-范畴。本文引入了两个概念-同调对象系统和纤维化系统-这两个概念将使我们能够把一个同伦双范畴Ho（B）与一个双范畴B联系起来，使得Ho（B）是反演B中弱等价的普遍方法。这种构造解决了上面提到的分数双范畴的两个困难。我们还描述了一个纤维化系统的2-范畴的预栈上的网站，并证明了由此产生的同伦双范畴是2-范畴的堆栈。进一步考虑的例子包括代数，微分和拓扑堆栈。

2013-03-02math.ATmath.CT

类别的类别

Categories of categories

一定数量的范畴论是在一个任意的完全范畴中发展起来的，在这个范畴上有一个分解系统，在Cat上扮演着综合分解系统的角色。那些与终结性（特别是终对象）、离散性和成分、可表示性、共极限和泛箭头等概念有关的方面，似乎在这个非常一般的环境中得到了最好的表达。此外，在这个层次上，我们实际上不仅在研究（E，M）-范畴论，而且在某种意义上也在研究（E，M）-拓扑学。其他公理，关于权力的对象，对偶，指数和箭头对象，被认为是。

2007-09-06math.CTmath.GN

通用因果关系的分层架构

A Layered Architecture for Universal Causality

Adobe Research（奥多比研究院）；University of Massachusetts, Amherst（马萨诸塞大学阿默斯特分校）

我们提出了一个分层的层次架构称为UCLA（通用因果分层架构），它结合了多层次的分类抽象的因果推理。在最高层，因果干预是使用序数的单纯类别组合建模的。在第二层，因果模型由图类型类别定义。因果结构上的非随机“外科手术”操作，如边缘删除，使用退化和脸算子从上面的单纯层捕获。第三个范畴抽象层对应于因果推理中的数据层。第四个同伦层包括强加在上面的实例层上的附加结构，例如拓扑空间，它可以评估数据集上的因果模型。函子映射在UCLA中的每对层之间。层之间的每个函子都由一个通用箭头来表征，它定义了每对范畴层之间的同构。这些通用箭头通过米田引理定义了通用元素和表示，并反过来导致了基于Grothendieck引入的构造的一个新的元素类别。每对层之间的因果推理被定义为提升问题，一个交换图，其对象是类别，其态射是被表征为不同类型的纤维化的函子。我们说明了加州大学洛杉矶分校的架构，使用一系列的例子，包括整数值的多集，代表一个非图形框架的条件独立性，因果模型的基础上，使用对称monoidal类别的图形和字符串图。我们用元素范畴神经的同伦余限来定义因果效应。

2022-12-18cs.AIcs.LGmath.CT

作为泛幺半自然变换的熵的刻画

A Characterization of Entropy as a Universal Monoidal Natural Transformation

该研究从范畴论视角将香农熵刻画为特定函子间的泛幺半自然变换，可推广至多类范畴的熵定义并统一关联，还给出无需连续性假设的条件香农熵泛刻画。

2024-04-14cs.ITmath.CTmath.IT

一类弱余极限的构造与范畴的2-范畴的正合性

A construction of certain weak colimits and an exactness property of the 2-category of categories

给定一个2-范畴$\mathcal{A}$，一个$2$ -函子$\mathcal{A} \overset {F} {\longrightarrow} \mathcal{C}at$和一个包含所有对象的区别的1-子范畴$Σ\subset \mathcal{A}$，$F$（相对于$Σ$）的$σ$ -锥是一个松弛锥，使得对应于$Σ$的箭头的结构$2$ -胞是可逆的.圆锥$σ$ -极限是普适的（直到同构）$σ$ -锥。$σ$ -极限的概念推广了伪极限和松弛极限的概念。本文讨论了$σ$ -过滤}对$(\mathcal{A}, \, Σ)$的基本概念，它推广了2-过滤2-范畴的概念.我们给出了一个明确的$σ$ -过滤$σ$ -范畴的余极限的结构，该结构允许用这些余极限进行计算。然后，我们陈述并证明了范畴的2-范畴的一个基本的正合性质，即$σ$ -滤$σ$ -余极限与有限权伪（或双）极限可换.这个结果的一个重要推论是正合范畴值2-函子的$σ$ -滤$σ$ -余极限是正合的.这个推论在我们在其他地方发展的平坦且亲可表示的2-函子的2维理论中是必不可少的。

2016-10-08math.CT