Results 1  10
of
31
Higher Hopf formulae for homology via Galois Theory
, 2007
"... We use Janelidze’s Categorical Galois Theory to extend Brown and Ellis’s higher Hopf formulae for homology of groups to arbitrary semiabelian monadic categories. Given such a category A and a chosen Birkhoff subcategory B of A, thus we describe the BarrBeck derived functors of the reflector of A on ..."
Abstract

Cited by 24 (17 self)
 Add to MetaCart
(Show Context)
We use Janelidze’s Categorical Galois Theory to extend Brown and Ellis’s higher Hopf formulae for homology of groups to arbitrary semiabelian monadic categories. Given such a category A and a chosen Birkhoff subcategory B of A, thus we describe the BarrBeck derived functors of the reflector of A onto B in terms of centralization of higher extensions. In case A
Higher fundamental functors for simplicial sets, Cahiers Topologie Géom
 Diff. Catég
"... Abstract. An intrinsic, combinatorial homotopy theory has been developed in [G3] for simplicial complexes; these form the cartesian closed subcategory of simple presheaves in!Smp, the topos of symmetric simplicial sets, or presheaves on the category!å of finite, positive cardinals. We show here how ..."
Abstract

Cited by 12 (8 self)
 Add to MetaCart
Abstract. An intrinsic, combinatorial homotopy theory has been developed in [G3] for simplicial complexes; these form the cartesian closed subcategory of simple presheaves in!Smp, the topos of symmetric simplicial sets, or presheaves on the category!å of finite, positive cardinals. We show here how this homotopy theory can be extended to the topos itself,!Smp. As a crucial advantage, the fundamental groupoid Π1:!Smp = Gpd is left adjoint to a natural functor M1: Gpd =!Smp, the symmetric nerve of a groupoid, and preserves all colimits – a strong van Kampen property. Similar results hold in all higher dimensions. Analogously, a notion of (nonreversible) directed homotopy can be developed in the ordinary simplicial topos Smp, with applications to image analysis as in [G3]. We have now a homotopy ncategory functor ↑Πn: Smp = nCat, left adjoint to a nerve Nn = nCat(↑Πn(∆[n]), –). This construction can be applied to various presheaf categories; the basic requirements seem to be: finite products of representables are finitely presentable and there is a representable 'standard interval'.
Higher central extensions and Hopf formulae
, 2009
"... Higher extensions and higher central extensions, which are of importance to nonabelian homological algebra, are studied, and some fundamental properties are proven. As an application, a direct proof of the invariance of the higher Hopf formulae is obtained. ..."
Abstract

Cited by 12 (9 self)
 Add to MetaCart
(Show Context)
Higher extensions and higher central extensions, which are of importance to nonabelian homological algebra, are studied, and some fundamental properties are proven. As an application, a direct proof of the invariance of the higher Hopf formulae is obtained.
The ternary commutator obstruction for internal crossed modules, Adv. Math., accepted for publication, preprint arXiv:1107.0954v2
, 2012
"... Abstract. We study the notion of internal crossed module in terms of crosseffects of the identity functor. These crosseffects give rise to a concept of commutator which allows a description of internal categories, (pre)crossed modules, Beck modules, and abelian extensions in finitely cocomplete ..."
Abstract

Cited by 10 (2 self)
 Add to MetaCart
(Show Context)
Abstract. We study the notion of internal crossed module in terms of crosseffects of the identity functor. These crosseffects give rise to a concept of commutator which allows a description of internal categories, (pre)crossed modules, Beck modules, and abelian extensions in finitely cocomplete homological categories in a way which is very close to the case of groups. We single out the obstruction which prevents a Peiffer graph being a groupoid—which in a semiabelian context is known to vanish precisely when the Smith is Huq condition holds, so is invisible in the category of groups—as a certain ternary commutator. Such a ternary commutator appears in the Hopf formula for the third homology with coefficients in the abelianisation functor and in the interpretation of the second cohomology of an object with coefficients in a module. It is generally not decomposable into nested binary commutators: this hap
Protoadditive functors, derived torsion theories and homology
 J. Pure Appl. Algebra
"... ar ..."
(Show Context)
On satellites in semiabelian categories: Homology . . .
, 2009
"... Working in a semiabelian context, we use Janelidze’s theory of generalised satellites to study universal properties of the Everaert long exact homology sequence. This results in a new definition of homology which does not depend on the existence of projective objects. We explore the relations with ..."
Abstract

Cited by 7 (3 self)
 Add to MetaCart
Working in a semiabelian context, we use Janelidze’s theory of generalised satellites to study universal properties of the Everaert long exact homology sequence. This results in a new definition of homology which does not depend on the existence of projective objects. We explore the relations with other notions of homology, and thus prove a version of the higher Hopf formulae. We also work out some examples.
Finite Sets And Symmetric Simplicial Sets
 Theory Appl. Categ
, 2001
"... The category of finite cardinals (or, equivalently, of finite sets) is the symmetric analogue of the category of finite ordinals, and the ground category of a relevant category of presheaves, the augmented symmetric simplicial sets. We prove here that this ground category has characterisations simil ..."
Abstract

Cited by 5 (2 self)
 Add to MetaCart
The category of finite cardinals (or, equivalently, of finite sets) is the symmetric analogue of the category of finite ordinals, and the ground category of a relevant category of presheaves, the augmented symmetric simplicial sets. We prove here that this ground category has characterisations similar to the classical ones for the category of finite ordinals, by the existence of a universal symmetric monoid, or by generators and relations. The latter provides a definition of symmetric simplicial sets by faces, degeneracies and transpositions, under suitable relations.
HIGHER CENTRAL EXTENSIONS VIA COMMUTATORS
, 2012
"... We prove that all semiabelian categories with the the Smith is Huq property satisfy the Commutator Condition (CC): higher central extensions may be characterised in terms of binary (Huq or Smith) commutators. In fact, even Higgins commutators suffice. As a consequence, in the presence of enough p ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
(Show Context)
We prove that all semiabelian categories with the the Smith is Huq property satisfy the Commutator Condition (CC): higher central extensions may be characterised in terms of binary (Huq or Smith) commutators. In fact, even Higgins commutators suffice. As a consequence, in the presence of enough projectives we obtain explicit Hopf formulae for homology with coefficients in the abelianisation functor, and an interpretation of cohomology with coefficients in an abelian object in terms of equivalence classes of higher central extensions. We also give a counterexample against (CC) in the semiabelian category of (commutative) loops.