Homotopy theory
Simplicial set
Algebraic K-theory
Weak equivalence
Simplicial map
Ring
Model category
Draft:K-theory of a category