Related papers: Relational Sheaves for a Heyting Algebra

For an endofunctor $H$ on a hyper-extensive category preserving countable coproducts we describe the free corecursive algebra on $Y$ as the coproduct of the final coalgebra for $H$ and the free $H$-algebra on $Y$. As a consequence, we…

By homotopy linear algebra we mean the study of linear functors between slices of the $\infty$-category of $\infty$-groupoids, subject to certain finiteness conditions. After some standard definitions and results, we assemble said slices…

Let R: V x V -> V x V be a Hecke type solution of the quantum Yang-Baxter equation (a Hecke symmetry). Then, the Hilbert-Poincre' series of the associated R-exterior algebra of the space V is a ratio of two polynomials of degree m…

In this paper, we provide a relative hypercohomology version of Serre's GAGA theorem. We prove that the relative hypercohomology of a complex of sheaves on a complex projective variety is isomorphic to the relative hypercohomology of its…

We study the cohomology theory of sheaf complexes for open embeddings of topological spaces and related subjects. The theory is situated in the intersection of the general Cech theory and the theory of derived categories. That is to say, on…

If a Quillen model category can be specified using a certain logical syntax (intuitively, ``is algebraic/combinatorial enough''), so that it can be defined in any category of sheaves, then the satisfaction of Quillen's axioms over any site…

We prove that commutative semirings in a cartesian closed presentable $\infty$-category, as defined by Groth, Gepner, and Nikolaus, are equivalent to product-preserving functors from the $(2,1)$-category of bispans of finite sets. In other…

An algebraic theory $T$ is a category with objects $t_0,t_2...$ such that for each $n$ the object $t_n$ is an $n$-fold categorical product of $t_1$. A strict $T$-algebra is a product preserving functor $A: T\to Spaces$. Lawvere showed that…

We prove an analogon of the the fundamental homomorphism theorem for certain classes of exact and essentially surjective functors of Abelian categories $\mathscr{Q}:\mathcal{A} \to \mathcal{B}$. It states that $\mathscr{Q}$ is up to…

Let $HV$ be the loop Heisenberg-Virasoro Lie algebra over $\C$ with basis $\{L_{\a,i},H_{\b,j}\,|\,\a,\,\b,i,j\in\Z\}$ and brackets $[L_{\a,i},L_{\b,j}]=(\a-\b)L_{\a+\b,i+j}, [L_{\a,i},H_{\b,j}]=-\b H_{\a+\b,i+j},[H_{\a,i},H_{\b,j}]=0$. In…

A specialization semilattice is a semilattice together with a coarser preorder satisfying a compatibility condition. We show that the category of specialization semilattices is isomorphic to the category of semilattices with a congruence,…

We construct reflection functors on categories of modules over deformed wreath products of the preprojective algebra of a quiver. These functors give equivalences of categories associated to generic parameters which are in the same orbit…

We consider the algebra of Hecke correspondences (elementary transformations at a single point) acting on the algebraic K-theory groups of the moduli spaces of stable sheaves on a smooth projective surface S. We derive quadratic relations…

For (X,L) a polarized toric variety and G a torus of automorphisms of (X,L), denote by Y the GIT quotient X/G. We define a family of fully faithful functors from the category of torus equivariant reflexive sheaves on Y to the category of…

The Dowker complex is an abstract simplicial complex that is constructed from a binary relation in a straightforward way. Although there are two ways to perform this construction -- vertices for the complex are either the rows or the…

For a complete lattice $L$ and a relational structure $\mathfrak{X}=(X,(R_i)_I)$, we introduce the convolution algebra $L^{\mathfrak{X}}$. This algebra consists of the lattice $L^X$ equipped with an additional $n_i$-ary operation $f_i$ for…

In this paper we prove the existence of an algebraic model for quasi-coherent sheaves on certain non-connective geometric stacks arising in stable homotopy theory and spectral algebraic geometry using the machinery of adapted homology…

We formulate and prove a Riemann-Hilbert correspondence between $\hbar$-differential equations and sheaf quantizations, which can be considered as a correspondence between two kinds of quantizations (deformation and sheaf quantization) of…

A Heffter array over an additive group $G$ is any partially filled array $A$ satisfying that: (1) each one of its rows and columns sum to zero in $G$, and (2) if $i\in G\setminus\{0\}$, then either $i$ or $-i$ appears exactly once in $A$.…

A basic finite dimensional algebra over an algebraically closed field $k$ is isomorphic to a quotient of a tensor algebra by an admissible ideal. The category of left modules over the algebra is isomorphic to the category of representations…