Cohomologically trivial internal categories in categories of groups with operations
type: Item
instance of: scholarly article
title: Cohomologically trivial internal categories in categories of groups with operations
zbMATH Open document ID: 0844.18004
DOI: 10.1007/BF00878442
author: Tamar Datuashvili
published in: Applied Categorical Structures
publication date: 1996-08-19T00:00:00Z
review text: The cohomology is that of ``Cohomology of internal categories in categories of groups with operations'' [the author, in: Proc. Int. Conf. Categorical Topology Prague 1988, World Scientific, Singapore, 270-283 (1989)], and \({\mathcal C}\) is a category of (ordinary) groups with extra primary operations of arity at most 2. For an internal category \(d_0, d_1 : D_1 \to D_0\) in \({\mathcal C}\) the author lets \(d : \text{Ker} (d_0) \to D_0\) (the restriction of \(d_1)\) denote the associated crossed module. In the presence of reasonable axioms on the operations (allowing rings and Lie algebras as examples) the author characterizes those \(D\) for which \(H^0 (D,A)\) or \(H^1 (D,A) = 0\) for all internal diagrams \(A\) or \(D\) in \({\mathcal C}\). The condition for \(H^0\) is that the module of differentials on \(\text{coker} (d)\) vanishes. The conditions for \(H^1\) require that \({\mathcal C}\) be a ``category of interest'' in the sense of \textit{G. Orzech}, and involve an abelianization functor \(S:\text{Cat} ({\mathcal C}) \to \text{Cat} ({\mathcal A} b)\). The author constructs both the differentials and the abelianization.
Mathematics Subject Classification ID: 18D35
Mathematics Subject Classification ID: 18B40
Mathematics Subject Classification ID: 18G99
Mathematics Subject Classification ID: 20J15
zbMATH DE Number: 807876
zbMATH Keywords: cohomology of categories
zbMATH Keywords: internal categories
zbMATH Keywords: crossed module
zbMATH Keywords: abelianization functor
zbMATH Keywords: differentials
reviewed by: Don H. Van Osdol
MaRDI profile type: Publication
cites work: Q5566551
cites work: Cohomology as the Derived Functor of Derivations
cites work: Q5187436
cites work: The tower of n-groupoids and the long cohomology sequence
cites work: Another denormalization theorem for abelian chain complexes
cites work: Q4335372
cites work: Simplicial methods and the interpretation of “triple” cohomology
cites work: Formal moduli of algebraic structures
cites work: Cohomology theory in abstract groups. III. Operator homomorphisms of kernels
cites work: Extensions and obstructions for rings
cites work: Obstruction theory in algebraic categories. I
cites work: Extensions, crossed modules and internal categories in categories of groups with operations
cites work: Homological Algebra in Topoi
cites work: Combinatorial homotopy. II
Recommended article: Extensions, crossed modules and internal categories in categories of groups with operations
Recommended article: Coverings of internal groupoids and crossed modules in the category of groups with operations
Recommended article: Internal categories and groupoids in congruence modular varieties
Recommended article: Q4372102
Recommended article: Categories of coarse groups: quasi-homomorphisms and functorial coarse structures
Recommended article: Q4563235
Recommended article: Q4335372
Recommended article: Infinity Operads and Monoidal Categories with Group Equivariance
Recommended article: Q4453907
Recommended article: Groupoids in categories with pretopology
description: scientific article; zbMATH DE number 807876