Related papers: Cosheaves

We consider representations of quivers taking values in monads or comonads over a Grothendieck category $\mathcal C$. We treat these as scheme like objects whose ``structure sheaf'' consists of monads or comonads. By using systems of…

In this survey paper, we present \v{C}ech and sheaf cohomologies -- themes that were presented by Koszul in University of S\~ao Paulo during his visit in the late 1950s -- we present expansions for categories of generalized sheaves (i.e,…

We show that the category of presheaves of simplicial groupoids on a site $\mathcal{C}$ is a right proper simplicial model category. We define $G$-torsor of presheaf of 2-groupoids $G$, presheaf of simplicial groups $G$ and presheaf of…

For any cohomology theory $H$ that can be factorized through (the Morel-Voevodsky's triangulated motivic homotopy category) $SH^{S^1}(k)$ (or through $SH(k)$) we establish the $SH^{S^1}(k)$-functorialty (resp. $SH(k)$-one) of coniveau…

Let $C_\bullet$ be a simplicial object in the category $Cat$ of small categories. For a field $k$, taking the Grothendieck groups of isomorphism classes of $kC_n$-modules gives rise to a cochain complex, whose cohomology, which we refer to…

This paper generalizes classical results of Griffiths, Dolgachev and Steenbrink on the cohomology of hypersurfaces in weighted projective spaces. Given a $d$-dimensional projective simplicial toric variety $P$ and an ample hypersurface $X$…

We establish the Hodge conjecture for the top dimensional cohomology group with integer coefficients of any $q$-complete complex manifold $X$ with $q<\dim X$. This holds in particular for the complement $X=\mathbb{C}\mathbb{P}^n\setminus A$…

Building on work of Marta Bunge in the one-categorical case, we characterize when a given model category is Quillen equivalent to a presheaf category with the projective model structure. This involves introducing a notion of homotopy atoms,…

The theory of abelian categories proved very useful, providing an axiomatic framework for homology and cohomology of modules over a ring and, in particular, of abelian groups. For many years, a similar categorical framework has been lacking…

We study fibred spaces with fibres in a structure category $\V$ and we show that cellular approximation, Blakers--Massey theorem, Whitehead theorems, obstruction theory, Hurewicz homomorphism, Wall finiteness obstruction, and Whitehead…

Interpreting the syzygy theorem for tame modules over posets in the setting of derived categories of subanalytically constructible sheaves proves two conjectures due to Kashiwara and Schapira concerning the existence of stratifications of…

For a certain family of complete modular lattices, we prove a Jordan--H\"older--Scheier-like" theorem with no assumptions on cardinality or well-orderedness. This family includes both lattices which are both join- and meet-continuous, as…

We introduce and study the new concepts of cosilting complexes, cosilting modules and AIR-cotilting modules. We prove that the three concepts AIR-cotilting modules, cosilting modules and quasi-cotilting modules coincide with each other, in…

Conformal algebras, recently introduced by Kac, encode an axiomatic description of the singular part of the operator product expansion in conformal field theory. The objective of this paper is to develop the theory of ``multi-dimensional''…

Let X be a quasi-compact and quasi-separated (not necessarily semiseparated) scheme. The category QcoX of all quasi-coherent sheaves of OX-modules has several diferent pure derived categories. Recently, categorical pure derived categories…

Given a smooth and projective curve C and a smooth and projective toric variety X, we first describe a compactification of the space of morphisms from C to X representing a fixed homology class, and after we study the intersection theory on…

The geometric models for the module category and derived category of any gentle algebra were introduced to realize the objects in module category and derived category by permissible curves and admissible curves respectively. The present…

In this paper we prove that the cohomology of smooth projective tropical varieties verify the tropical analogs of three fundamental theorems which govern the cohomology of complex projective varieties: Hard Lefschetz theorem, Hodge-Riemann…

We show that categories of modules over a ring in Homotopy Type Theory (HoTT) satisfy the internal versions of the AB axioms from homological algebra. The main subtlety lies in proving AB4, which is that coproducts indexed by arbitrary sets…

For a commutative ring $\mathbf k$ with unit, we describe and study various differential graded $\mathbf k$-modules and $ \mathbf k$-algebras which are models for the cohomology of polyhedral products $(\underline{CX},\underline X)^K$.…