"Категории частных и теория гомотопий" - читать интересную книгу автора (Габриель П., Цисман М.)