Mark Hovey : model categories #HoTT

Le livre qui a introduit cette notion, très importante comme modèle de HoTT

https://web.math.rochester.edu/people/faculty/doug/otherpapers/hovey-model-cats.pdf

Advertisements
This entry was posted in Philosophie and tagged . Bookmark the permalink.