[[!redirects type theories]] < [[nlab:type theory]] category: redirected to nlab