Comments by "kazedcat" (@kazedcat) on "Sheafification of G" channel.

  1. ω is not a successor of any number so pred(ω)= undefined. The key idea is that you can define a<ω but you cannot define ω-1. The transfinite line is well ordered but not continuous.
    1