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.
Do lists of abstracts for workshops belong on the nLab?
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.
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 some formatting and hyperlinks.
Have added the category:reference
-label.
Finally I have renamed from the clearly inappropriate “Bonn2018” to the slightly better “HoTT in Bonn2018”.
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)
Finally, I notice that there are lots of unresolved links (unrendered url-s) in the entry. But I have to do something else now.
1 to 6 of 6