Title: Higher topos theory
First published: 2009
Subjects: Categories (Mathematics), Toposes, Categories (mathematics)
LC classification: QA169 .L87 2009