# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

1. copied from HoTT wiki

Anonymous

• CommentRowNumber2.
• CommentAuthorUrs
• CommentTimeJun 6th 2022
• (edited Jun 6th 2022)

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$]$
• CommentRowNumber3.
• CommentAuthormaxsnew
• CommentTimeJun 6th 2022

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

• CommentRowNumber4.
• CommentAuthorUrs
• CommentTimeJun 7th 2022
• (edited Jun 7th 2022)

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

• CommentRowNumber5.
• CommentAuthorUrs
• CommentTimeJan 22nd 2023