Related papers: A Note on Kernels, Images, and Cokernels in the Pe…
We develop a bundle theory of presheaves on small categories, based on similar work by Brent Everitt and Paul Turner. For a certain set of presheaves on posets, we produce a Leray-Serre type spectral sequence that gives a reduction property…
The purpose of this note is to give a short proof of a theorem of Koll\'ar that the derived direct image of the canonical sheaf splits into a sum of its cohomology sheaves. This is deduced from a stronger decomposition theorem for direct…
We develop the theory of ind-coherent sheaves on schemes and stacks. The category of ind-coherent sheaves is closely related, but inequivalent, to the category of quasi-coherent sheaves, and the difference becomes crucial for the…
We consider the category of perverse sheaves on a complex vector space smooth with respect to a stratification given by an arrangement of hyperplanes with real equations. As shown in an earlier wotk of two of the authors, this category can…
We define a family of quiver representation-valued invariants of oriented classical and virtual knots and links associated to a choice of finite quandle $X$, abelian group $A$, set of quandle 2-cocycles $C\subset H^2_Q(x;A)$, choice of…
Sheaves and sheaf cohomology are powerful tools in computational topology, greatly generalizing persistent homology. We develop an algorithm for simplifying the computation of cellular sheaf cohomology via (discrete) Morse-theoretic…
Let X be a smooth toric variety stratified by the torus action. This paper is a presentation of a description of the category Perv_X of perverse sheaves on X relatively to the fixed stratification. We define a category of representations of…
The Fundamental Morphism Theorem is a categorical version of the First Noether Isomorphism Theorem for categories that do not have kernels or cokernels. We consider two categories of graphs. Both categories will admit graphs with multiple…
When $W$ is a finite Coxeter group acting by its reflection representation on $E$, we describe the category ${\mathsf{Perv}}_W(E_{\mathbb C}, {\mathcal{H}}_{\mathbb C})$ of $W$-equivariant perverse sheaves on $E_{\mathbb C}$, smooth with…
Let $k$ be a regular ring, and let $A,B$ be essentially finite type $k$-algebras. For any functor $F:{D}(A)\times\dots\times{D}(A)\to{D}(B)$ between their derived categories, we define its twist…
In this paper, we develop category theory of Markov kernels to study categorical aspects of Bayesian inversions. As a result, we present a unified model for Bayesian supervised learning, encompassing Bayesian density estimation. We…
We give a complete description of the potential failure of the surjectivity of the Thom morphism from complex cobordism to integral cohomology for compact Lie groups via a detailed study of the Atiyah-Hirzebruch spectral sequence and the…
Perverse schobers are categorical analogs of perverse sheaves. Examples arise from varieties admitting flops, determined by diagrams of derived categories of coherent sheaves associated to the flop: in this paper we construct mirror…
This paper introduces cellular sheaf theory to graphical methods and reciprocal constructions in structural engineering. The elementary mechanics and statics of trusses are derived from the linear algebra of sheaves and cosheaves. Further,…
In this paper we introduce the notion of (pointed) prenormal category, modelled after regular categories, but with the key notions of coequaliser and kernel pair replaced by those of cokernel and kernel. This framework provides a natural…
This paper aims to answer the following question: Given an adjunction between two categories, how is Quillen (co)homology in one category related to that in the other? We identify the induced comparison diagram, giving necessary and…
This paper has 3 principal goals: (1) to survey what is know about mapping class and Torelli groups of simply connected compact Kaehler manifolds, (2) supplement these results, and (3) present a list of questions and open problems to…
We investigate the properties of relative analogues of admissible Ind, Pro, and elementary Tate objects for pairs of exact categories, and give criteria for those categories to be abelian. A relative index map is introduced, and as an…
This paper has two aims. The former is to give an introduction to our earlier work on the Hodge theory of algebraic maps and more generally to some of the main themes of the theory of perverse sheaves and to some of its geometric…
We give a complete classification of Q_l-cohomology projective planes with isolated ADE-singularities and numerically trivial canonical bundle in odd characteristic. This leads to a beautiful relation with certain Enriques surfaces which…