Spined categories: generalizing tree-width beyond graphs

Benjamin Merlin Bumpus, Zoltan A. Kocsis

Tree-width is an invaluable tool for computational problems on graphs. But often one would like to compute on other kinds of objects (e.g. decorated graphs or even algebraic struct…