>которая, грубо говоря, утверждает, что n-категория кобордизмов является свободной n-категорией на одном объекте

Ehto ne gipoteza, ehto minimal requirement k opredeleniyu n-kategorij (t.e. poka ehto v dannom formalizme ne dokazano, govorit' voobshche ne o chem).

(Reply to this)