Holmstrom Infinity-category

Some nLab entries:

infinity-one category-category)

infinity-groupoid

infinity-stack

infinity-topos

http://www.ncatlab.org/nlab/show/(infinity,1)-topos

infinity-category

http://www.ncatlab.org/nlab/show/%28infinity%2C1%29-category+of+%28infinity%2C1%29-sheaves

http://www.ncatlab.org/nlab/show/homotopy+category+of+an+(infinity,1)-category

http://ncatlab.org/nlab/show/%28infinity%2C1%29-functor

http://ncatlab.org/nlab/show/%28infinity%2C1%29-presheaf

http://www.ncatlab.org/nlab/show/higher+category+theory+-+contents

---

A model structure on omega-cat

nLab page on Infinity-category