#HigherToposTheory #HTTUF Leeds 2019 HTT-UF school :minicourse on Higher topos theory references

tout un tas d’articles intéressants dans ce domaine

http://conferences.leeds.ac.uk/httuf/wp-content/uploads/sites/43/2019/06/outline-and-references-higher-topos.pdf

 

This entry was posted in ∞-catégories, EHTT, Higher category theory, Higher topos theory, homotopy type theory, HTTUF, Philosophie, Science, mathesis. Bookmark the permalink.