Display map category

Définition page 3 de :

https://home.sandiego.edu/~shulman/hottminicourse2012/03models-handout2up.pdf

Advertisements
This entry was posted in ∞-catégories, homotopy type theory. Bookmark the permalink.