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