Abstract:The article is devoted to a comparison of the Čech cohomology with the coefficients in a presheaf of Abelian groups and the topos cohomology of the sheaf generated by this presheaf for a poset with the Aleksandrov topology. The article consists of three parts. The first part provides information from the theory of cohomology of small categories and cohomology of simplicial sets with systems of coefficients. The second part is devoted to Laudal's Theorem stating that covering cohomology for an arbitrary topological space with coefficients in the presheaf of Abelian groups is isomorphic to the derived limit functors. The third part presents the main results. The criterion for the invariance of cohomology groups of small categories when passing to the inverse image leads to necessary and sufficient isomorphism conditions for the Čech cohomology of an arbitrary presheaf and the topos cohomology of the sheaf generated by this presheaf. In particular, for a finite poset, these conditions reduce to the acyclicity of the upper secrions of Dedekind-MacNeille cuts having a non-empty lower section, and the verification of these conditions is algorithmically computable.

Approximate cohomology in Banach algebras

Homological Integral of Hopf Algebras

Cohomology classes of complex approximable algebras

Homotopy conformal algebras

Approximation of maps between real algebraic varieties

Approximation Theory and Elementary Submodels

Relative $K$-theory for $C^*$-algebras

Approximation in Hölder Spaces

Cech cohomology of partially ordered sets

Compact quantum group C^*-algebras as Hopf algebras with approximate unit

Enveloping Dual Banach Algebras and Approximate Properties

A comparison of Hochschild homology in algebraic and smooth settings

A Note on Cohomology of Clifford Algebras

Homotopy theory of homotopy algebras

Bialgebra cohomology and exact sequences

Relative Cohomology and Generalized Tate Cohomology

Some remarks on approximation in several complex variables

Gluing Approximable Triangulated Categories

Approximate algebraic structure

Approximated by finite-dimensional homomorphisms into Simple C*-Algebras with Tracial Rank One

Approximation of graded bialgebras