15 citations · 16 across the 6 of their papers we have counts for
6 papers
Computing 3-Dimensional Groups : Crossed Squares and Cat-Groups
Zekeriya Arvasi, Alper Odabaş, Christopher D. Wensley
The category of crossed squares is equivalent to the category of cat-groups. Functions for computing with these structures have been developed in…
String rewriting for Double Coset Systems
Ronald Brown, Neil Ghani, Anne Heyworth +1
In this paper we show how string rewriting methods can be applied to give a new method of computing double cosets. Previous methods for double cosets were enumerative and thus rest…
Computation and Homotopical Applications of Induced Crossed Modules
Ronald Brown, Christopher D. Wensley
We explain how the computation of induced crossed modules allows the computation of certain homotopy 2-types and, in particular, second homotopy groups. We discuss various issues i…
Crossed complexes, and free crossed resolutions for amalgamated sums and HNN-extensions of groups
Ronald Brown, Emma J. Moore, Timothy Porter +1
The category of crossed complexes gives an algebraic model of CW-complexes and cellular maps. Free crossed resolutions of groups contain information on a presentation of the group…
Logged Rewriting Procedures with Application to Identities Among Relations
Anne Heyworth, Christopher D Wensley
The key idea is that rewriting procedures can be enhanced so that they not only rewrite words but record (log) how the rewriting has taken place. We introduce logged rewrite system…
On finite induced crossed modules and the homotopy 2-type of mapping cones
Ronald Brown, Christopher D. Wensley
Results on the finiteness of induced crossed modules are proved both algebraically and topologically. Using the Van Kampen type theorem for the fundamental crossed module, applicat…