[[!redirects inverse image]] < [[nlab:preimage]] category: redirected to nlab