Results 11 to 20 of about 1,026 (232)
Computer Sciences & Mathematics Forum, 2023 Alexander Grothendieck suggested creating a new branch of topology, called “topologie modérée”. In a paper by N. A’Campo, L. Ji, and A. Papadopoulos the authors conclude that no such tame topology has been developed at a purely topological level.
Artur Piękosz
doaj +1 more source
, 2023 We show how Stone duality can be extended from maps to relations. This is achieved by working order enriched and defining a relation from A to B as both an order-preserving function from the opposite of A times B to the 2-element chain and as a subobject of A times B. We show that dual adjunctions and equivalences between regular categories, taken in a
Alexander Kurz 0001 +2 more
openaire +2 more sources
poetics of Eevhen Hrebinka’s poem “Bohdan”: (anti)colonial strategies of the art CONSCIOUSNESS [PDF]
Вісник університету ім. А. Нобеля. Серія Філологічні науки, 2023 Evhen Hrebinka’s oeuvre, particularly his Russian-language works and the poem “Bohdan” (1843), have not been studied well. The theme of this historical poem is Bohdan Khmelnytskyi’s decision to get political protection from the Tsardom of Muscovy. (Anti-
Olga V. Shaf, Oleksandra V. Goniuk
doaj +1 more source
CHOICE-FREE STONE DUALITY [PDF]
The Journal of Symbolic Logic, 2019 AbstractThe standard topological representation of a Boolean algebra via the clopen sets of a Stone space requires a nonconstructive choice principle, equivalent to the Boolean Prime Ideal Theorem. In this article, we describe a choice-free topological representation of Boolean algebras.
Nick Bezhanishvili, Wesley H. Holliday
openaire +6 more sources
Deep learning for K3 fibrations in heterotic/Type IIA string duality
Nuclear Physics B, 2023 The development of Large Language Models, such as the recently released GPT-4, has revolutionized the field of Machine Learning and opened new avenues for interdisciplinary research. Prompt Engineering, a methodology for designing effective input prompts
Aaron Vermeersch
doaj +1 more source
A general Stone-Gel’fand duality [PDF]
Transactions of the American Mathematical Society, 1979 We give a simple characterization of full subcategories of equational categories. If a \mathcal {a}
Lambek, J., Rattray, B. A.
openaire +2 more sources
Intuitionistic Layered Graph Logic: Semantics and Proof Theory [PDF]
Logical Methods in Computer Science, 2018 Models of complex systems are widely used in the physical and social sciences, and the concept of layering, typically building upon graph-theoretic structure, is a common feature.
Simon Docherty, David Pym
doaj +1 more source
Not only a tool-stone: Other ways of using obsidian in the Near East
Journal of Lithic Studies, 2021 Obsidian was used widely in the Near East in prehistoric and early historic times to make tools and other objects. We know quite a lot about its use as a tool-stone, but much less about other objects made from it, although such things in other contexts ...
Elizabeth Healey
doaj +1 more source
Classification of Boolean algebras through von Neumann regular $\mathcal{C}^{\infty}-$rings [PDF]
Categories and General Algebraic Structures with ApplicationsIn this paper, we introduce the concept of a ``von Neumann regular $\mathcal{C}^{\infty}$-ring", which is a model for a specific equational theory.
Jean Berni, Hugo Mariano
doaj +1 more source
Computably Based Locally Compact Spaces [PDF]
Logical Methods in Computer Science, 2006 ASD (Abstract Stone Duality) is a re-axiomatisation of general topology in which the topology on a space is treated, not as an infinitary lattice, but as an exponential object of the same category as the original space, with an associated lambda-calculus.
Paul Taylor
doaj +1 more source