Perhaps the literature on W-types is what you are looking for? This is well-developed categorically and gives a good theory of inductive types.
If you are looking explicitly for ordinals, there's a recent discussion about ordinals in HoTT. @paul-taylor has worked on this. Since he is a regular here, I'll just provide the references. JSL paper and the section in his book.