Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Definition for fundamental group (higher homotopy groups) for a category?
How to define homotopy groups in categories as in Quillen's definition for Higher algebraic K-theory: K_i(M)=\pi_{i+1}(BQM, 0), where M is a small category and BQM is the classifying space of QM. thank you.
