2000 character limit reached
Forest Categories
Published 12 Jan 2018 in cs.LO | (1801.04337v1)
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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.