We prove an isomorphism theorem between the canonical denotation systems for large natural numbers and large countable ordinal numbers, linking two fundamental concepts in Proof Theory. The first one is fast-growing hierarchies. These are sequences of functions on $\mathbb {N}$ obtained through processes such as the ones that yield multiplication from addition, exponentiation from multiplication, etc. and represent the canonical way of speaking about large finite numbers. The second one is ordinal collapsing functions, which represent the best-known method of describing large computable ordinals.

We observe that fast-growing hierarchies can be naturally extended to functors on the categories of natural numbers and of linear orders. The isomorphism theorem asserts that the categorical extensions of binary fast-growing hierarchies to ordinals are isomorphic to denotation systems given by cardinal collapsing functions. As an application of this fact, we obtain a restatement of the subsystem $\Pi ^1_1$-${\mathsf {CA_0}}$ of analysis as a higher-type well-ordering principle asserting that binary fast-growing hierarchies preserve well-foundedness.

We give a level-by-level analysis of the Weak Vopěnka Principle for definable classes of relational structures ( $\mathrm {WVP}$ ), in accordance with the complexity of their definition, and we determine the large-cardinal strength of each level. Thus, in particular, we show that $\mathrm {WVP}$ for $\Sigma _2$ -definable classes is equivalent to the existence of a strong cardinal. The main theorem (Theorem 5.11) shows, more generally, that $\mathrm {WVP}$ for $\Sigma _n$ -definable classes is equivalent to the existence of a $\Sigma _n$ -strong cardinal (Definition 5.1). Hence, $\mathrm {WVP}$ is equivalent to the existence of a $\Sigma _n$ -strong cardinal for all $n<\omega $ .

We present a logical and algebraic description of right adjoint functors between generalized quasi-varieties, inspired by the work of McKenzie on category equivalence. This result is achieved by developing a correspondence between the concept of adjunction and a new notion of translation between relative equational consequences.

Fried and Kollár constructed a fully faithful functor from the category of graphs to the category of fields. We give a new construction of such a functor and use it to resolve a longstanding open problem in computable model theory, by showing that for every nontrivial countable structure ${\cal S}$, there exists a countable field ${\cal F}$ of arbitrary characteristic with the same essential computable-model-theoretic properties as ${\cal S}$. Along the way, we develop a new “computable category theory”, and prove that our functor and its partially defined inverse (restricted to the categories of countable graphs and countable fields) are computable functors.