[[!redirects natural model]] < [[nlab:categorical model of dependent types]]