activity
19982005
most citedComputation and Homotopical Applications of Induced Crossed Modules

1 citations · 1 across the 3 of their papers we have counts for

collaborators
Showing 1999Show all

1 paper · 1 filter

math.CO1999

Using Rewriting Systems to Compute Kan Extensions and Induced Actions of Categories

Ronald Brown, Anne Heyworth

The basic method of rewriting for words in a free monoid given a monoid presentation is extended to rewriting for paths in a free category given a `Kan extension presentation'. Thi…