<div dir="ltr">First of all, thanks very much to Jason for putting the group together and also making it accessible to us remote participants!<div><br></div><div>I am intrigued by the statement that "infinity-groupoids are the natural models of homotopy theory", but I know little about homotopy theory and nothing about higher category theory. I have algebraic topology at about the level of Massey's first course (rusty by some years) and basic category theory. Can anyone suggest some expository works in this area as background or further reading?</div>
<div><br></div><div>thanks, Chris Jeris (freenode: ystael)</div></div>