[[!redirects Univalent categories and the Rezk completion]] < [[nlab:Univalent categories and the Rezk completion]] category: redirected to nlab