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.
Definition for fundamental group (higher homotopy groups) for a category?
shengtian
- 39
- 2