I would like to know some open problems in HoTT for Homotopy theorist (without knowledge of logic). With such a Homotopy theorist I mean someone who takes a serious reading ("at the level") of Cisinski's Univalent universes for elegant models of Homotopy types.
$\begingroup$
$\endgroup$
3
-
4$\begingroup$ Asking merely for a list of open problems seems the wrong approach if one wants to actually understand the mathematics... $\endgroup$– Yemon ChoiJul 28, 2017 at 3:30
-
2$\begingroup$ If someone just drops a bunch of open problems on your head that won't be very useful. I'd recommend joining the HoTT list and having an informed discussion. I am sure the crowd will be very welcoming to a homotopy theorist who wants to get into HoTT. $\endgroup$– Andrej BauerJul 28, 2017 at 9:03
-
$\begingroup$ Given @AndrejBauer's comment, would you like to clarify a bit more what actual research background you have in homotopy theory? $\endgroup$– Yemon ChoiJul 30, 2017 at 3:31
Add a comment
|
1 Answer
$\begingroup$
$\endgroup$
1
The introduction of the HoTT book ends with an "Open problems" section that certainly answers your question.
-
2$\begingroup$ Also ncatlab.org/homotopytypetheory/show/open+problems $\endgroup$ Jul 28, 2017 at 5:48