Some very brief remarks on derivateurs are in Bertrand Toen's habilitation thesis on pages 12-14 and 27-29, available here. They mainly emphasize how derivateurs are sort of a 2-truncated homotopy theory of homotopy theories - nothing to learn derivateur-language from, but maybe a nice addition to the general picture.
Peter Arndt
- 12.3k
- 3
- 58
- 94