Forest Categories
classification
💻 cs.LO
keywords
categoriesforestalgebraalgebrascategorycharacterizingderivedextend
read the original abstract
We extend Tilson's theory of the algebra of finite categories, in particular, the Derived Category Theorem, to the setting of forest algebras. As an illustration of the usefulness of this method, we provide a new proof of a result of Place and Segoufin characterizing locally testable tree languages.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.