# 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. Page created, but author did not leave any comments.

Anonymous

• CommentRowNumber2.
• CommentAuthorDmitri Pavlov
• CommentTimeJun 18th 2022

Do lists of abstracts for workshops belong on the nLab?

• CommentRowNumber3.
• CommentAuthorUrs
• CommentTimeJun 18th 2022

What must be happening is that somebody or some script is mechanically copying over content from the HoTT wiki to here, irrespective of its nature and its context.You can see that the present entry used to be here on the HoTT wiki.

I must have caused this when I wrote here that it would be good to merge the content of the HoTT wiki into the nLab.

I admit that I did not envision that it would be like this, but I guess we can handle it. I’ll boost title and content of the entry a little now, and then it should be fine as a category:reference-entry.

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

I have moved the conference data (title, date, venue, organizers) from after the (long) table of contents to the top of the entry, so that it becomes visible (!).

Have added a line saying that this meeting was about homotopy type theory. (This cannot be assumed by default on the nLab.)

Have added the category:reference-label.

Finally I have renamed from the clearly inappropriate “Bonn2018” to the slightly better “HoTT in Bonn2018”.

• CommentRowNumber5.
• CommentAuthorUrs
• CommentTimeJun 18th 2022

I have also added pointer to some video recordings of the meeting (taken from the page modal homotopy type theory):

• Dan Licata, Felix Wellen, Synthetic Mathematics in Modal Dependent Type Theories, tutorial at Types, Homotopy Theory and Verification, 2018

Tutorial 1, Dan Licata: A Fibrational Framework for Modal Simple Type Theories (recording)

Tutorial 2, Felix Wellen: The Shape Modality in Real cohesive HoTT and Covering Spaces (recording)

Tutorial 3, Dan Licata: Discrete and Codiscrete Modalities in Cohesive HoTT (recording)

Tutorial 4, Felix Wellen, Discrete and Codiscrete Modalities in Cohesive HoTT, II (recording)

Tutorial 5, Dan Licata: A Fibrational Framework for Modal Dependent Type Theories (recording)

Tutorial 6, Felix Wellen: Differential Cohesive HoTT, (recording)

• CommentRowNumber6.
• CommentAuthorUrs
• CommentTimeJun 18th 2022

Finally, I notice that there are lots of unresolved links (unrendered url-s) in the entry. But I have to do something else now.