Author: nLab edit announcer Format: MarkdownItexstarting stub article on the type theoretic axiom of replacement
Anonymous
<a href="https://ncatlab.org/nlab/revision/type+theoretic+axiom+of+replacement/1">v1</a>, <a href="https://ncatlab.org/nlab/show/type+theoretic+axiom+of+replacement">current</a>
starting stub article on the type theoretic axiom of replacement
Author: Urs Format: MarkdownItexwhen referencing a sizeable text it is good practice to provide a section or page number. I suppose you want to send readers to section 2.19?
<a href="https://ncatlab.org/nlab/revision/diff/type+theoretic+axiom+of+replacement/2">diff</a>, <a href="https://ncatlab.org/nlab/revision/type+theoretic+axiom+of+replacement/2">v2</a>, <a href="https://ncatlab.org/nlab/show/type+theoretic+axiom+of+replacement">current</a>
when referencing a sizeable text it is good practice to provide a section or page number. I suppose you want to send readers to section 2.19?