Noetherianity and rooted trees

Daniel Barter

Let T be the category whose objects are rooted trees and morphisms are order embeddings preserving the root. We prove that finitely generated representations of T are Noetherian us…