При очередном перечитывании начальных глав курса сложилась часть картинки:
что глобально все делится на “индивиды” и “концепты” (концепты - все что не индивиды, а индивиды - все что проходит тест на физичность - можно постучать по нему).
А далее - категория = класс = тип.
Далее выходим на классификацию и типизацию, специализацию и отношения между сущностями.
Первые разы прочтения руководства ускользал переход от категорий к классам и типам. Было прям не очевидно.
Но заодно и собранность потренировал.
Все эти прорывы случаются за счет практики решения примитивных задачах на базовые концепты и отношения между ними.