Categories types and structures

https://www.di.ens.fr/users/longo/files/CategTypesStructures/book.pdf

Advertisements
This entry was posted in ∞-catégories, category theory, Higher category theory, homotopy type theory, Philosophie mathématique, Science, mathesis and tagged . Bookmark the permalink.