Sobre todo por curiosidad: ¿Dónde puedo encontrar Joyal carta de Grothendieck en el que se define un modelo de estructura en simplicial poleas?
La cuestión era que ya le pidió en este MO post, pero esa parte en particular de la pregunta no ha sido respondida aún.