User blog comment:Wythagoras/Catching function in normal ordinals/@comment-11227630-20140203095754/@comment-3427444-20140625150435

As I remember, the definition is given here. $$C(\Omega_2)$$ is the limit of $$C(C_1(0))$$, $$C(C_1(C_1(0)))$$, ...