Concerning everything important. It seems, that it's enough for equality to respect only composition. So, basically category of categories is expressible there.

Concerning everything important. It seems, that it's enough for equality to respect only composition. So, basically category of categories is expressible there. But HoTT would give you much more power.