Finite presentability of strongly finite dilators
Osamu Takaki · RAIRO - Theoretical Informatics and Applications · 2000
In this paper, we establish the following results: (i) every strongly finite dilator is finitely presentable in the category of endofunctors on the category of ordinals; (ii) a dilator F is strongly finite if and only if F is finitely presentable in the category of dilators.