Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2000 | 10.1051/ita:2000125 | RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS |
Keywords | Field | DocType |
dilator,ordinal notation,finite presentability | Discrete mathematics,Combinatorics,Ordinal number,Dilator,Ordinal notation,Proof theory,Functor,Category theory,If and only if,Mathematics | Journal |
Volume | Issue | ISSN |
34 | 6 | 0988-3754 |
Citations | PageRank | References |
0 | 0.34 | 2 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Osamu Takaki | 1 | 5 | 4.26 |