< [[nlab:identity type]] category:redirected to nlab [[!redirects identity type]] [[!redirects identity]] [[!redirects identity types]] [[!redirects identities]] [[!redirects path]] [[!redirects paths]] [[!redirects path type]] [[!redirects path types]] [[!redirects equality]] [[!redirects equal]]