Без заголовка

Я бы облегчил сначала до уровня "введение размерностей и пи теорема". А когда это "проконало" то и навесил уже дополнительно полноценную теорию категорий (благо что описываемое подмножество).