Categorical Structures for Type Theory in Univalent Foundations