[[!redirects Category theory]] [[!redirects category theory]] [[!redirects Category theory in HoTT]] < [[nlab:category theory]]