Higher Categories and Algebraic K-Theory, Part II