added pointer to:

- Clive Newstead,
*Algebraic models of dependent type theory*[arXiv:2103.06155]

Thanks. I have added cross-links with that specific section.

Also, I removed the previous non-arXiv preprint-link (which had been the only content of this entry) and replaced it with the following:

- Steve Awodey,
*Natural models of homotopy type theory*, Mathematical Structures in Computer Science,**28**2 (2016) 241-286 $[$arXiv:1406.3219, doi:10.1017/S0960129516000268$]$

There’s an overview of natural models on categorical model of dependent types as well.

]]>I see, you are copying the material blindly.

Let’s take just a minute for adjustments so that the new entries make a minimum of sense.

In the present case, I have:

expanded the title from “natural model” to “natural model of homotopy type theory”

added minimum of an Idea-sentence

On “natural” models of homotopy type theory.

expanded out the reference:

- Steve Awodey,
*Natural models of homotopy type theory*(2016) $[$pdf$]$

- Steve Awodey,

copied from HoTT wiki

Anonymous

]]>