Related papers: Filtered moment graph sheaves
A categorical framework for modeling and analyzing systems in a broad sense is proposed. These systems should be thought of as `machines' with inputs and outputs, carrying some sort of signal that occurs through some notion of time. Special…
Condensed mathematics as developed by Clausen and Scholze yields a version of derived functors over the category of continuous $G$-modules for a Hausdorff topological group $G$. We study the resulting notion of group cohomology and its…
On a finite-dimensional real vector space, we give a microlocal characterization of (derived) piecewise linear sheaves (PL sheaves) and prove that the triangulated category of such sheaves is generated by sheaves associated with convex…
We describe a number of geometric contexts where categorification appears naturally: coherent sheaves, constructible sheaves and sheaves of modules over quantizations. In each case, we discuss how "index formulas" allow us to easily perform…
For an interval finite quiver $Q$, we introduce a class of flat representations. We classify the indecomposable projective objects in the category $\mathrm{rep}(Q)$ of pointwise finite dimensional representations. We show that an object in…
We show the existence of geometric quotients for the spaces of certain classes of morphisms of sheaves on projective space, modulo the canonical action of the group of automorphisms.
Given a graded monoid A with 1, one can construct a projective monoid scheme MProj(A) analogous to Proj(R) of a graded ring R. This paper is concerned with the study of quasicoherent sheaves (of pointed sets) on MProj(A), and we prove…
Parts provide a good intermediate representation of objects that is robust with respect to the camera, pose and appearance variations. Existing works on part segmentation is dominated by supervised approaches that rely on large amounts of…
We firstly introduce some key concepts in category theory, such as quotient category, completion of limits, $\mathrm{Mor}$ category, and so on; then give the concept of topology algebras and sheaves, and discuss how to restore the structue…
We study presheaves on semicategories enriched in a quantaloid: this gives rise to the notion of regular presheaf. A semicategory is regular when its representable presheaves are regular, and its regular presheaves then constitute an…
We give a coalgebra structure on 1-vertex irreducible graphs which is that of a cocommutative coassociative graded connected coalgebra. We generalize the coproduct to the algebraic representation of graphs so as to express a bare 1-particle…
In this manuscript a factor graph approach is employed to investigate the recursive filtering problem for a mixed linear/nonlinear state-space model, i.e. for a model whose state vector can be partitioned in a linear state variable…
We display a symmetric monoidal equivalence between the stable $\infty$-category of filtered spectra, and quasi-coherent sheaves on $\mathbb{A}^1 / \mathbb{G}_m$, the quotient in the setting of spectral algebraic geometry, of the flat…
We present a uniform theory of constructible sheaves on arbitrary schemes with coefficients in topological or even condensed rings. This is accomplished by defining lisse sheaves to be the dualizable objects in the derived infinity-category…
The filter quotient construction is a particular instance of a filtered colimit of categories. It has primarily been considered in the context of categorical logic, where it has been used effectively to construct non-trivial models, for…
The main goal of this paper is to establish close relations among sheaves of modules on atomic sites, representations of categories, and discrete representations of topological groups. We characterize sheaves of modules on atomic sites as…
In this paper we explore the link between the theory of sheaves on graphs and noncommutative geometry showing that many concepts and constructions in the latter can be generalized and enhanced using methods coming from the former. They…
We introduce the factorization graph of a finite group and study its connectedness and forbidden structures. We characterize all finite groups with connected factorization graphs and classify those with connected bipartite factorization…
We identify a number of decidable and undecidable fragments of first-order concatenation theory. We also give a purely universal axiomatization which is complete for the fragments we identify. Furthermore, we prove some normal-form results.
We recently introduced a formalism for the modeling of temporal networks, that we call stream graphs. It emphasizes the streaming nature of data and allows rigorous definitions of many important concepts generalizing classical graphs. This…