We define a cotriple (co)homology of crossed modules with coefficients in a π1-module. We prove its general properties, including the connection with the existing cotriple theories on crossed modules. We establish the relationship with the (co)homology of the classifying space of a crossed module and with the cohomology of groups with operators. An example and an application are given.

In this work we deal with actions of vector groupoid which is a new concept in the literature‎. ‎After we give the definition of the action of a vector groupoid on a vector space‎, ‎we obtain some results related to actions of vector groupoids‎. ‎We also apply some characterizations of the category and groupoid theory to vector groupoids‎. ‎As the second part of the work‎, ‎we define the notion...

The well-known notion of crossed module of groups is raised in this paper to the categorical level supported by the theory of categorical groups. We construct the cokernel of a categorical crossed module and we establish the universal property of this categorical group. We also prove a suitable 2-dimensional version of the kernelcokernel lemma for a diagram of categorical crossed modules. We th...

Homotopy categorical groups of any pointed space are defined via the fundamental groupoid of iterated loop spaces. This notion allows, paralleling the group case, to introduce the notion of K-categorical groups KiR of any ring R. We also show the existence of a fundamental categorical crossed module associated to any fibre homotopy sequence and then, K1R and K2R are characterized, respectively,...

We prove that ifM is a compact 4-manifold provided with a handle decomposition with 1-skeleton X , and if G is a finite crossed module, then the number of crossed module morphisms from the fundamental crossed module Π2(M,X , ∗) = (π1(X , ∗), π2(M,X , ∗), ∂, ⊲) into G can be re-scaled to a manifold invariant IG (i. e. not dependent on the choice of 1-skeleton), a construction similar to David Ye...

In this paper following Conduché’s, [12], way of defining 2-crossed modules which are equivalent to Carrasco-Cegarra’s, [10], 2-hyper crossed complexes, we define the three crossed module of groups as a model for 4-types.

For n ≥ 4, we describe Artin’s braid group on n strings as a crossed module over itself. In particular, we interpret the braid relations as crossed module structure relations. Subject classification: Primary: 20F36 57M05 57M20 57M25; Secondary: 18D50 18G55 20C08 55P48

We define an invariant of welded virtual knots from each finite crossed module by considering crossed module invariants of ribbon knotted surfaces which are naturally associated with them. We elucidate that the invariants obtained are non-trivial by calculating explicit examples. We define welded virtual graphs and consider invariants of them defined in a similar way. 2000 Mathematics Subject C...

‎In this paper‎, ‎we prove that the category of crossed polymodules (i.e‎. ‎crossed modules of polygroups) and their morphisms is finitely complete‎. ‎We‎, ‎therefore‎, ‎generalize the group theoretical case of this completeness property of crossed modules‎.