Not signed in (Sign In)

# 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

• Sign in using OpenID

## 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)

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:

• CommentRowNumber5.
• CommentAuthorUrs
• CommentTimeJan 22nd 2023

added pointer to:

Add your comments
• Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
• To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

• (Help)