[[!redirects pointed type]] [[!redirects pointed]] < [[nlab:pointed type]]