[[!redirects semantics]] [[!redirects Semantics]] [[!redirects semantics of type theory]] < [[nlab:categorical model of dependent types]] category:redirected to nlab