Related papers: Boolean valued models, presheaves, and \'etal\'e s…
We collect in one place a variety of known and folklore results in enriched model category theory and add a few new twists. The central theme is a general procedure for constructing a Quillen adjunction, often a Quillen equivalence, between…
Let G be a discrete group. We give methods to compute for a generalized (co-)homology theory its values on the Borel construction (EG x X)/G of a proper G-CW-complex X satisfying certain finiteness conditions. In particular we give formulas…
In this paper we obtain a description of the Grothendieck group of complex vector bundles over the classifying space of a p-local finite group in terms of representation rings of subgroups of its Sylow. We also prove a stable elements…
Motivated by potential applications to theoretical computer science, in particular those areas where the Curry-Howard correspondence plays an important role, as well as by the ongoing search in pure mathematics for feasible approaches to…
The notion of a complete type can be generalized in a natural manner to allow assigning a value in an arbitrary Boolean algebra B to each formula. We show some basic results regarding the effect of the properties of B on the behavior of…
In this paper, we consider diffeological spaces as stacks over the site of smooth manifolds, as well as the "underlying" diffeological space of any stack. More precisely, we consider diffeological spaces as so-called concrete sheaves and…
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…
We develop a sheaf cohomology theory of algebraic varieties over an algebraically closed non-trivially valued non-archimedean field $K$ based on Hrushovski-Loeser's stable completion. In parallel, we develop a sheaf cohomology of definable…
The Godement cosimplicial resolution is available for a wide range of categories of sheaves. In this paper we investigate under which conditions of the Grothendieck site and the category of coefficients it can be used to obtain fibrant…
An \'etale structure over a topological space $X$ is a continuous family of structures (in some first-order language) indexed over $X$. We give an exposition of this fundamental concept from sheaf theory and its relevance to countable model…
Let $F$ and $k$ be perfect fields. The main goal of this paper is to investigate algebraic models for the Morel-Voevodsky unstable motivic homotopy category $\mathrm{Ho}(F)$ after $\mathbf{H}^{\mathbb{A}^1}k$ localization. More…
Relational presheaves generalize traditional presheaves by going to the category of sets and relations (as opposed to sets and functions) and by allowing functors which are lax. This added generality is useful because it intuitively allows…
How to best develop foundational models for time series forecasting remains an important open question. Tokenization is a crucial consideration in this effort: what is an effective discrete vocabulary for a real-valued sequential input? To…
We study sheaves in the context of a duality theory for lattice structure endowed with extra operations, and in the context of forcing in a topos. Using Sheaf duality theory of Comer for cylindric algebras, we give a representation theorem…
Bayesian predictive coding is a putative neuromorphic method for acquiring higher-level neural representations to account for sensory input. Although originating in the neuroscience community, there are also efforts in the machine learning…
Model categories have long been a useful tool in homotopy theory, allowing many generalizations of results in topological spaces to other categories. Giving a localization of a model category provides an additional model category structure…
Fourier analysis on the Boolean hypercube is fundamentally defined as the orthogonal decomposition of the space of pseudo-Boolean functions with respect to the uniform probability measure. In this work, we propose an ANOVA-based…
Khovanov defined graded homology groups for links L in R^3 and showed that their polynomial Euler characteristic is the Jones polynomial of L. Khovanov's construction does not extend in a straightforward way to links in I-bundles M over…
In this paper we provide a geometric framework for the study of characters of depth-zero representations of unramified groups over local fields with finite residue fields which is built directly on Lusztig's theory of character sheaves for…
In the theory of so called "Covariant Quantum Mechanics" a basic role is played by Hermitian vector fields on a complex line bundle in the frameworks of Galilei and Einstein spacetimes. In fact, it has been proved that the Lie algebra of…