Explores the relationship between p-torsion and p-divisibility in group theory, highlighting implications of p-divisibility in exact sequences of abelian groups.
Covers fibrant objects, lift of horns, and the adjunction between quasi-categories and Kan complexes, as well as the generalization of categories and Kan complexes.