Resolutions, higher extensions and the relative Mal'tsev axiom (Q1952133): Difference between revisions

From the summary: ``The authors study how the concept of higher-dimensional extension which comes from categorical Galois theory relates to simplicial resolutions. For instance, an augmented simplicial object is a resolution if and only if its truncation in every dimension gives a higher extension, in which sense resolutions are infinite-dimensional extensions or higher extensions are finite-dimensional resolutions. We also relate certain stability conditions of extensions to the Kan property for simplicial objects. This gives a new proof of the fact that a regular category is Mal'tsev if and only if every simplicial object is Kan, using a relative setting of extensions.'' A major point of this article is that certain properties of simplicial objects and simplicial resolutions are actually properties of the induced cubes and higher extensions. As a consequence, some proofs which are rather technical when considered from the simplicial point of view become almost trivial when higher extensions are used instead.