Finite presentability of strongly finite dilators
The Japan Society for the Promotion of Science, Japan;
Accepted: February 2001
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.
Mathematics Subject Classification: 03F15
Key words: Dilator / ordinal notation / finite presentability.
© EDP Sciences, 2000