Dirk Hofmann, Walter Tholen
For a quantale $\V$, first a closure-theoretic approach to completeness and separation in $\V$-categories is presented. This approach is then generalized to $\Tth$-categories, where $\Tth$ is a topological theory that entails a set monad $\mT$ and a compatible $\mT$-algebra structure on $\V$.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We consider the equivalence of Lawvere theories and finitary monads on Set from the perspective of Endf(Set)-enriched category theory, where Endf(Set) is the category of finitary endofunctors of Set. We identify finitary monads with one-object Endf(Set)-categories, and ordinary categories admitting finite powers (i.e., n-fold products of each object with itself) with Endf(Set)-categories admitting a certain class Phi of absolute colimits; we then show that, from this perspective, the passage from a finitary monad to the associated Lawvere theory is given by completion under Phi-colimits. We al…
An enriched view on the extended finitary monad--Lawvere theory correspondence
本文用丰富范畴论重新阐释有限余单子与Lawvere理论间的对应，将其视为丰富范畴在绝对余极限下的自由完备化，并创新性地使用双范畴丰富化以统一处理所有局部有限可表现基。
Profinite trees, through Lawvere theories and the lambda-calculus
本文通过 Lawvere 理论和 lambda-算子引入了克隆的 profinite 完成，从而为有限树的正则语言提供了一种拓扑方法，并证明了 profinite 树与 profinite lambda-算子的片段一致。
We formulate an elementary condition on an involutive quantaloid Q under which there is a distributive law from the Cauchy completion monad over the symmetrisation comonad on the category of Q-enriched categories. For such quantaloids, which we call Cauchy-bilateral quantaloids, it follows that the Cauchy completion of any symmetric Q-enriched category is again symmetric. Examples include Lawvere's quantale of non-negative real numbers and Walters' small quantaloids of closed cribles.
Varieties of ordered algebras as categories
本文研究了由不等式表示的有序代数簇，刻画了等价于该簇的偏序集充实范畴，并证明其恰好是离散Lawvere理论对偶在sifted余极限下的自由完备化。
We show that for any quantale $\mathcal{Q}$, a $\mathcal{Q}$-category is skeletal and complete if and only if it is injective with respect to fully faithful $\mathcal{Q}$-functors. This is a special case of known theorems due to Hofmann and Stubbe, but we provide a different proof, using the characterisation of the MacNeille completion of a $\mathcal{Q}$-category as its injective envelope. For Lawvere metric spaces, our results yield those of Kemajou, Künzi and Otafudu. We point out that their notion of Isbell convexity can be seen as a geometric formulation of categorical completeness for Law…
This paper presents a necessary and sufficient condition on a category with weak finite limits for its exact completion to be (locally) cartesian closed. A paper by Carboni and Rosolini already claimed such a characterisation using a different property on the base category, but we shall show that weak finite limits are not enough for their proof to go through. We shall also indicate how to strengthen the hypothesis for that proof to work. It will become clear that, in the case of ex/lex completions, their characterisation is still valid and it coincides with the one presented here.
Given a monad T on a suitable enriched category B equipped with a proper factorization system (E,M), we define notions of T-completion, T-closure, and T-density. We show that not only the familiar notions of completion, closure, and density in normed vector spaces, but also the notions of sheafification, closure, and density with respect to a Lawvere-Tierney topology, are instances of the given abstract notions. The process of T-completion is equally the enriched idempotent monad associated to T (which we call the idempotent core of T), and we show that it exists as soon as every morphism in B…
For any small quantaloid $\Q$, there is a new quantaloid $\D(\Q)$ of diagonals in $\Q$. If $\Q$ is divisible then so is $\D(\Q)$ (and vice versa), and then it is particularly interesting to compare categories enriched in $\Q$ with categories enriched in $\D(\Q)$. Taking Lawvere's quantale of extended positive real numbers as base quantale, $\Q$-categories are generalised metric spaces, and $\D(\Q)$-categories are generalised partial metric spaces, i.e.\ metric spaces in which self-distance need not be zero and with a suitably modified triangular inequality. We show how every small quantaloid-e…
We use a category-theoretic formulation of Aczel's Fullness Axiom from Constructive Set Theory to derive the local cartesian closure of an exact completion. As an application, we prove that such a formulation is valid in the homotopy category of any model category satisfying mild requirements, thus obtaining in particular the local cartesian closure of the exact completion of topological spaces and homotopy classes of maps. Under a type-theoretic reading, these results provide a general motivation for the local cartesian closure of the category of setoids. However, results and proofs are formu…
We construct a compact closed category out of any symmetric monoidal category by freely adding adjoints to its objects. The morphisms of the completion are defined as string diagrams annotated by objects and morphisms from the original category. The symmetric monoidal category embeds via a faithful monoidal functor into its completion, but in contrast to the non-symmetric case, this embedding is not full. Our construction factors through the Int construction, which yields another free construction: the free traced monoidal category on a symmetric monoidal category.
In the present paper we use the theory of exact completions to study categorical properties of small setoids in Martin-Löf type theory and, more generally, of models of the Constructive Elementary Theory of the Category of Sets, in terms of properties of their subcategories of choice objects (i.e. objects satisfying the axiom of choice). Because of these intended applications, we deal with categories that lack equalisers and just have weak ones, but whose objects can be regarded as collections of global elements. In this context, we study the internal logic of the categories involved, and empl…
Bounding The Orlov Spectrum For A Completion Of Discrete Cluster Categories
本文通过引入同调连通对象及其分解，对 Dynkin 型 $A_{\infty}$ 离散簇范畴的 Paquette-Yıldırım 完备化中的厚子范畴与经典生成子进行分类，并利用同调长度界定了该范畴的 Orlov 谱上界与 Rouquier 维度。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。