Effective descent morphisms of ordered families
Maria Manuel Clementino, Rui Prezado
本研究针对X为局部完备有序集的情形，刻画了松弛逗号范畴Ord//X中的有效下降态射，并补充了反对称场景下的对应刻画结论。
我们刻画了X为局部完备有序集时，松弛逗号范畴$\u2a66$Ord//X中的有效下降态射，同时也给出了反对称情形下的相关刻画结果。
We present a characterization of effective descent morphisms in the lax comma category $\mathsf{Ord}//X$ when $X$ is a locally complete ordered set, as well as in the antisymmetric setting.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
Functors Preserving Effective Descent Morphisms
本研究突破传统有效下降态射研究聚焦函子反射性质的思路，建立其保持性的一般结果，证明满足温和条件的Grothendieck（余）纤维化适配该框架，扩充了此类态射的研究工具，并给出相关示例。
Let $A$ be a regular category with pushouts of regular epimorphisms by regular epimorphism and $Reg(A)$ the category of regular epimorphisms in $A$. We prove that every regular epimorphism in $Reg(A)$ is an effective descent morphism if, and only if, $Reg(A)$ is a regular category. Then, moreover, every regular epimorphism in $A$ is an effective descent morphism. This is the case, for instance, when $A$ is either exact Goursat, or ideal determined, or is a category of topological Mal'tsev algebras, or is the category of $n$-fold regular epimorphisms in any of the three previous cases, for any …
On effective descent $\mathcal V$-functors and familial descent morphisms
本文借助 $\mathsf{Fam}(\mathcal V)$ 的 $2$-函子性质、范畴双极限的有效下降结果及充实 $2$-函子保持双极限的事实，研究具有有限极限的笛卡尔幺半范畴上的有效下降 $\mathcal V$-函子，并简要讨论正则范畴情形下的相关满态射。
Effective descent morphisms of filtered preorders
本文刻画过滤预序的有效下降态射，并以此改进预序松弛余逗号范畴中有效下降态射的已知结果。
Yet another proof of the result asserting that a morphism of commutative rings is an effective descent morphism for modules if and only if it is pure is given. Moreover, it is shown that this result cannot be derived from Moerdijk's descent criterion.
Strict monadic topology II: descent for closure spaces
本文开创闭包空间的下降理论，主要贡献是刻画了下降态射，并证明了有限闭包空间范畴中下降态射均为有效下降态射，且满射闭映射与满射开映射均为有效下降态射。
It is proved that a norm-decreasing homomorphism of commutative Banach algebras is an effective descent morphism for Banach modules if and only if it is a weak retract.
The fundamental construction underlying descent theory, the lax descent category, comes with a functor that forgets the descent data. We prove that, in any $2$-category $\mathfrak{A} $ with lax descent objects, the forgetful morphisms create all Kan extensions that are preserved by certain morphisms. As a consequence, in the case $\mathfrak{A} = \mathsf{Cat} $, we get a monadicity theorem which says that a right adjoint functor is monadic if and only if it is, up to the composition with an equivalence, (naturally isomorphic to) a functor that forgets descent data. In particular, within the cla…
Semantic Factorization and Descent
本文在具有合适opcomma对象与推出的2-范畴中，证明态射的高阶余核松弛下降分解与语义分解同构且存在性等价，导出单子性的下降刻画，指出有左伴随时单子性是二维正合条件。
Descent in the dual category of ternary rings
本文证明三元环簇中融合自由积元素具有唯一正规形式且满足强融合性质，据此刻画有效共下降态射，并比较了交换结合酉环范畴与三元环范畴中有效共下降态射类，证明前者严格包含于后者。
Ordered semirings and subadditive morphisms
本研究引入有序半环结构，证明其理想与根理想分别构成交换整Quantale和空间式Frame，并刻画了对应函子的伴随关系，还建立了根理想对应的拓扑空间与素理想谱空间的同胚关系，统一了格论与环论的相关内容。
Some aspects of descent theory and applications
本文阐述作者在广义范畴结构有效下降态射的贡献，含下降理论基础描述、关键定义结果及博士期间四篇相关文章内容。
There are two main constructions in classical descent theory: the category of algebras and the descent category, which are known to be examples of weighted bilimits. We give a formal approach to descent theory, employing formal consequences of commuting properties of bilimits to prove classical and new theorems in the context of Janelidze-Tholen "Facets of Descent II", such as Bénabou-Roubaud Theorems, a Galois Theorem, embedding results and formal ways of getting effective descent morphisms. In order to do this, we develop the formal part of the theory on commuting bilimits via pseudomonad th…
Lax comma categories: cartesian closedness, extensivity, topologicity, and descent
本文刻画基范畴上 lax 逗号范畴的拓扑性、完备性、外延性、笛卡尔闭性及有效下降条件，并为二维 Janelidze Galois 理论提供基础。
We consider two preorder-enriched categories of ordered PCAs: $\mathsf{OPCA}$, where the arrows are functional morphisms, and $\mathsf{PCA}$, where the arrows are applicative morphisms. We show that $\mathsf{OPCA}$ has small products and finite biproducts, and that $\mathsf{PCA}$ has finite coproducts, all in a suitable 2-categorical sense. On the other hand, $\mathsf{PCA}$ lacks all nontrivial binary products. We deduce from this that the pushout, over $\mathsf{Set}$, of two nontrivial realizability toposes is never a realizability topos.
Riguet and Generalized Congruences on a Category: Relationships and Applications
本文研究了范畴上的Riguet同余和广义同余，从格论和范畴论的角度探讨它们的关系，并在正则上射和极小上射的背景下刻画满射函子。同时，证明了Riguet同余的集合在包含关系下是一个有界定向完全序集，而广义同余的集合是一个代数格，并通过Scott连续映射建立这两者之间的桥梁。此外，还探讨了Riguet分类范畴与广义分类范畴之间的相对伴随，以及在Manes框架下，Riguet分类范畴的宽子范畴与广义分类范畴之间的关系，并将其与Grothendieck纤维化理论联系起来。最后，展示了Riguet同余在不同数学领域中的应用。
In this paper, we investigate the order algebraic structure in the category of sheaves on a given locale $X$. Since every localic topos has a generating set formed by its subterminal objects, we define a "point" of a partially ordered sheaf to be a morphism from a subterminal sheaf to the partially ordered sheaf. Using the concept of "points," we investigate the completeness of posheaves systemically. Some internal characterizations of complete partially ordered sheaves and frame sheaves are given. We also give an explicit description of the construction of associated sheaf locales and show di…
Lax comma categories of ordered sets
本文研究有序集的松弛逗号范畴 $\mathsf{Ord}//X$，证明其遗忘函子拓扑性等价于 $X$ 完备，并分析其完备性、笛卡尔闭性及下降条件。
Topological lax comma categories
本文研究拓扑空间与lax逗号范畴之间的关系，证明在特定条件下，忘却函子保持指数和有效降映射，并刻画了有效降映射。
Cauchy Completeness, Lax Epimorphisms and Effective Descent for Split Fibrations
本文刻画了分裂纤维化语境下的有效下降态射：证明松弛满态射等价于柯西完备化间的等价，并由此将有效下降态射归结为离散余纤维化情形，附有Beck-Chevalley条件评论。
The monotone-light factorization for 2-categories via 2-prorders
本文通过2-预序反射在2-范畴上建立单调-光分解系统，证明光态射为垂直结构上2-胞腔忠实的2-函子，并验证稳定单位及有效下降态射条件。
Important Classes of Morphisms and the Relative Cotangent Sequence in Tangent Categories
研究切触范畴中浸入、淹没等态射类的含义、相互作用及性质，通过切丛投影可携带概念定义水平下降，以此为工具研究这些态射类，还定义了任意切触范畴中的德拉姆相对余切复形。
Ordered sheaves on a small quantaloid Q have been defined in terms of Q-enriched categorical structures; they form a locally ordered category Ord(Q). The free-cocompletion KZ-doctrine on Ord(Q) has Mod(Q), the quantaloid of Q-modules, as category of Eilenberg-Moore algebras. In this paper we give an intrinsic description of the Kleisli algebras: we call them the 'locally principally generated Q-modules'. We deduce that Ord(Q) is biequivalent to the 2-category of locally principally generated Q-modules and left adjoint module morphisms. The example of locally principally generated modules on a …
Classifying strict discrete opfibrations with lax morphisms
本文研究增强2-范畴中离散opfibration分类器的T-代数结构提升，定义cartesian映射与对象，推广多个范畴论概念，并证明在双范畴、幺半范畴等广泛例子中成立，最后刻画可表示余预层的伪与lax性质。
Intensional semantics for comparison problems in arithmetic geometry
本研究提出算术几何的内涵语义环境，借助带标记量化$(2,1)$-范畴调和Lawvere与Voevodsky的思路，将比较转化为迁移不等式，还将Szpiro不等式与abc猜想关联、处理BSD猜想并归约$\mathrm{Sha}(E/K)$有限性。
For a relational Horn theory $\mathbb{T}$, we provide useful sufficient conditions for the exponentiability of objects and morphisms in the category $\mathbb{T}\text{-}\mathsf{Mod}$ of $\mathbb{T}$-models; well-known examples of such categories, which have found recent applications in the study of programming language semantics, include the categories of preordered sets and (extended) metric spaces. As a consequence, we obtain useful sufficient conditions for $\mathbb{T}\text{-}\mathsf{Mod}$ to be cartesian closed, locally cartesian closed, and even a quasitopos; in particular, we provide two …
Comparing dg category models for path spaces via $A_\infty$-functors
通过A∞-函子比较dg范畴模型用于路径空间，构建了Chen迭代积分映射的双版本，并证明其在单连通空间中与Adams映射的同伦逆关系。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。