Daily Archives: October 22, 2017

Categories types and structures

Click to access book.pdf

Posted in ∞-catégories, category theory, Higher category theory, homotopy type theory, Philosophie mathématique, Science, mathesis | Tagged

Jacob Lurie : what is an ∞-category ?

Click to access tx080800949p.pdf

Posted in ∞-catégories, ∞-topoi | Tagged

Rezk : stuff about quasicategories

Click to access quasicats.pdf

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi | Tagged

#HoTT André Joyal : la notion de typos

Voir cet ancien article : https://anthroposophiephilosophieetscience.wordpress.com/2017/10/14/andre-joyal-hott-tribus-et-⊓-tribus/ et la note de Joyal : Click to access Joyal.pdf Page 15 sur 52 définition du «  push forward functor » associé à une flèche f : A → B dans une catégorie C Le … Continue reading

Posted in ∞-catégories, ∞-topoi, homotopy type theory | Tagged , , , ,

The Morita model structure on Cat

Originally posted on Dreaming of mathematics:
There is a well-known model structure on Cat where the weak equivalences are the categorical equivalences, i.e. the functors that are fully faithful and essentially surjective on objects, the cofibrations are the functors that…

Posted in Philosophie