Related papers: Back and forth between algebraic geometry, algebra…
We present an abstract unifying framework for interpreting Stone-type dualities; several known dualities are seen to be instances of just one topos-theoretic phenomenon, and new dualities are introduced. In fact, infinitely many new…
The present work presents some results about the categorial relation between logics and its categories of structures. A (propositional, finitary) logic is a pair given by a signature and Tarskian consequence relation on its formula algebra.…
This paper explores the interplay between category theory, topology, and the algebraic theory of finite groups. Our analysis unfolds in three stages. First, we establish the foundational universe of our objects: the complete and cocomplete…
We study L\"owenheim-Skolem and Omitting Types theorems in Transition Algebra, a logical system obtained by enhancing many sorted first-order logic with features from dynamic logic. The sentences we consider include compositions, unions,…
We develop a new approach to the study of supersymmetric gauge theories on ALE spaces using the theory of framed sheaves on root toric stacks, which illuminates relations with gauge theories on $\mathbb{R}^4$ and with two-dimensional…
Language is contextual and sheaf theory provides a high level mathematical framework to model contextuality. We show how sheaf theory can model the contextual nature of natural language and how gluing can be used to provide a global…
We develop a discrete gauge-theoretic framework for superposition in large language models (LLMs) that replaces the single-global-dictionary premise with a sheaf-theoretic atlas of local semantic charts. Contexts are clustered into a…
The main aim of this paper is to show the interconnections between {\L}ukasiewicz logic and algebraic geometry using algebraic, geometric and logical instruments. We continue our investigation into a new algebraic geometry based on…
Let $\mathbb{k}$ be a field of characteristic $p$. We introduce a formalism of mixed sheaves with coefficients in $\mathbb{k}$ and showcase its use in representation theory. More precisely, we construct for all quasi-projective schemes $X$…
We introduce the concept of fuzzy sheaf as a natural generalisation of a sheaf over a topological space in the context of fuzzy topologies. Then we prove a representation for a class of MV-algebras in which the representing object is an…
Limits and colimits of diagrams, defined by maps between sets, are universal constructions fundamental in different mathematical domains and key concepts in theoretical computer science. Its importance in semantic modeling is described by…
The classifying topos of a geometric theory is a topos such that geometric morphisms into it correspond to models of that theory. We study classifying toposes for different infinitary logics: first-order, sub-first-order (i.e. geometric…
We generalize the notion of a small sheaf of sets over a topological space or manifold to define the notion of a small stack of groupoids over an \'etale topological or differentiable stack. We then provide a construction analogous to the…
The residuated lattices form one of the most important algebras of fuzzy logics and have been heavily studied by people from various different points of view. Sheaf presentations provide a topological approach to many algebraic structures.…
This paper makes contributions to ``pure'' sheaf model theory, the part of model theory in which the models are sheaves over a complete Heyting algebra. We start by outlining the theory in a way we hope is readable for the non-specialist.…
We construct Grothendieck topologies on the path category of a finite graph, examining both coarse and discrete cases that offer different perspectives on quiver representations. The coarse topology declares each vertex covered by all…
Ramsey theory and forcing have a symbiotic relationship. At the RIMS Symposium on Infinite Combinatorics and Forcing Theory in 2016, the author gave three tutorials on Ramsey theory in forcing. The first two tutorials concentrated on…
It was realized early on that topologies can model constructive systems, as the open sets form a Heyting algebra. After the development of forcing, in the form of Boolean-valued models, it became clear that, just as over ZF any…
In this paper we study a model of intuitionistic higher-order logic which we call \emph{the Muchnik topos}. The Muchnik topos may be defined briefly as the category of sheaves of sets over the topological space consisting of the Turing…
Choose a topos $E$. There are several different "notions of sheafness" on $E$. How do we visualize them? Let's refer to the classifier object of $E$ as $\Omega$, and to its Heyting Algebra of truth-values, $Sub(1_E)$, as $H$; we will…