Tomek Bartoszynski
A bijection from R to R is called an Erdos-Sierpinski mapping if it maps meager sets onto the first category sets and vice versa. We show that there is no Erdos-Sierpinski mapping preserving addition.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
In this paper, we give a duality theorem between the category of $κ$-additive complete atomic modal algebras and the category of $κ$-downward directed multi-relational Kripke frames, for any cardinal number $κ$. Multi-relational Kripke frames are not Kripke frames for multi-modal logic, but frames for monomodal logics in which the modal operator $\Diamond$ does not distribute over (possibly infinite) disjunction, in general. We first define homomorphisms of multi-relational Kripke frames, and then show the equivalence between the category of $κ$-downward directed multi-relational Kripke frames…
We introduce the category of Heyting frames and show that it is equivalent to the category of Heyting algebras and dually equivalent to the category of Esakia spaces. This provides a frame-theoretic perspective on Esakia duality for Heyting algebras. We also generalize these results to the setting of Brouwerian algebras and Brouwerian semilattices by introducing the corresponding categories of Brouwerian frames and extending the above equivalences and dual equivalences. This provides a frame-theoretic perspective on generalized Esakia duality for Brouwerian algebras and Brouwerian semilattices…
De Vries Duality generalizes Stone duality between Boolean algebras and Stone spaces to a duality between de Vries algebras (complete Boolean algebras equipped with a subordination relation satisfying some axioms) and compact Hausdorff spaces. This duality allows for an algebraic approach to region-based theories of space that differs from point-free topology. Building on the recent choice-free version of Stone duality developed by Bezhanishvili and Holliday, this paper establishes a choice-free duality between de Vries algebras and a category of de Vries spaces. We also investigate connection…
It is proved that the category $\mathbb{EM}$ of extended multisets is dually equivalent to the category $\mathbb{CHMV}$ of compact Hausdorff MV-algebras with continuous homomorphisms, which is in turn equivalent to the category of complete and completely distributive MV-algebras with homomorphisms that reflect principal maximal ideals. Urysohn-Strauss's Lemma, Gleason's Theorem, and projective objects are also investigated for topological MV-algebras.
We establish a natural duality between the category of involutive bisemilattices and the category of semilattice inverse systems of Stone spaces, using Stone duality from one side and the representation of involutive bisemilattices as Płonka sum of Boolean algebras, from the other. Furthermore, we show that the dual space of an involutive bisemilattice can be viewed as a GR space with involution, a generalization of the spaces introduced by Gierz and Romanowska equipped with an involution as additional operation.
In Solovay model it is shown that the duality principle between the measure and the Baire category holds true with respect to the sentence - "The domain of an arbitrary generalized integral for a vector-function is of first category."
In this paper we develop an almost general process to switch from abstract logics in the sense of Brown and Suszko to lattices. With this method we can establish dualities between some categories of abstract logics to the correspondent topological space categories. In more detail we will explain the duality between the category of abstract intuitionistic logics with intuitionistic morphisms and the category of Esakia spaces with the Esakia morphisms.
We exhibit Pontryagin duality as a special case of Stone duality in a continuous logic setting. More specifically, given an abelian topological group $A$, and $\mathcal F$ the family (group) of continuous homomorphisms from $A$ to the circle group $\mathbb T$, then, viewing $(A,+)$ equipped with the collection $\mathcal F$ as a continuous logic structure $M$, we show that the local type space $S_\mathcal F(M)$ is precisely the Pontryagin dual of the group $\mathcal F$ where the latter is considered as a discrete group. We conclude, using Pontryagin duality (between compact and discrete abelian…
Duality theory for categorical theories
本文将模型论中的范畴理论概念推广到相干理论的背景下，证明了预拓扑范畴的全子2-范畴与profinite monoids的2-范畴之间的对偶关系，并通过分类拓扑构造研究了profinite monoids的几何性质，证明其作为拓扑的全子2-范畴。
Duality for powerset coalgebras
本文通过构造CABA到CSL遗忘函子的左伴随，建立幂集余代数范畴与某代数范畴的对偶等价，并由此从Tarski对偶性推导出Thomason对偶性。
How Category Theory Works: The Elements & Distinctions Analysis of the Morphisms, Duality, and Universal Constructions in Sets
本文提出元素与区分是分析集合范畴中态射、对偶性与泛构造的基本概念工具，并可推广至具体范畴及抽象范畴论。
Duality for coalgebras for Vietoris and monadicity
本文证明了紧Hausdorff和稳定紧空间范畴上各类Vietoris自函子的余代数范畴对偶在Set上具有单子性，给出了相关无穷簇的公理化，将模态代数的Jonsson-Tarski对偶性推广至非0维设定。
We exhibit an adjunction between a category of abstract algebras of partial functions and a category of set quotients. The algebras are those atomic algebras representable as a collection of partial functions closed under relative complement and domain restriction; the morphisms are the complete homomorphisms. This generalises the discrete adjunction between the atomic Boolean algebras and the category of sets. We define the compatible completion of a representable algebra, and show that the monad induced by our adjunction yields the compatible completion of any atomic representable algebra. A…
Choice-free Topological Duality for Implicative Lattices and Heyting Algebras
本研究通过证明蕴涵格的无选择公理表示与对偶定理，构建了可同时解释$\boldsymbol{\text{IPC}}$及更弱逻辑的通用语义框架，并将其特化为Heyting代数与拓扑分类标架范畴的无选择公理拓扑对偶。
It is a classic result in modal logic that the category of modal algebras is dually equivalent to the category of descriptive frames. The latter are Kripke frames equipped with a Stone topology such that the binary relation is continuous. This duality generalizes the celebrated Stone duality. Our goal is to further generalize descriptive frames so that the topology is an arbitrary compact Hausdorff topology. For this, instead of working with the boolean algebra of clopen subsets of a Stone space, we work with the ring of continuous real-valued functions on a compact Hausdorff space. The main n…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。