Existence of very high categories