Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
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:
There’s an overview of natural models on categorical model of dependent types as well.
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:
added pointer to:
1 to 5 of 5