# Higher-dimensional categories with finite derivation type.

Guiraud, Yves; Malbos, Philippe

Theory and Applications of Categories [electronic only] (2009)

- Volume: 22, page 420-478
- ISSN: 1201-561X

## Access Full Article

top## How to cite

topGuiraud, Yves, and Malbos, Philippe. "Higher-dimensional categories with finite derivation type.." Theory and Applications of Categories [electronic only] 22 (2009): 420-478. <http://eudml.org/doc/222617>.

@article{Guiraud2009,

author = {Guiraud, Yves, Malbos, Philippe},

journal = {Theory and Applications of Categories [electronic only]},

keywords = {-category; rewriting; polygraph; finite derivation type; convergence property; critical branching; coherence theorem; -category},

language = {eng},

pages = {420-478},

publisher = {Mount Allison University, Department of Mathematics and Computer Science, Sackville},

title = {Higher-dimensional categories with finite derivation type.},

url = {http://eudml.org/doc/222617},

volume = {22},

year = {2009},

}

TY - JOUR

AU - Guiraud, Yves

AU - Malbos, Philippe

TI - Higher-dimensional categories with finite derivation type.

JO - Theory and Applications of Categories [electronic only]

PY - 2009

PB - Mount Allison University, Department of Mathematics and Computer Science, Sackville

VL - 22

SP - 420

EP - 478

LA - eng

KW - -category; rewriting; polygraph; finite derivation type; convergence property; critical branching; coherence theorem; -category

UR - http://eudml.org/doc/222617

ER -

## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.