[[!redirects axiom of replacement]] < [[nlab:type theoretic axiom of replacement]] category: redirected to nlab