F₁ определяется не на теоретико-кольцевом языке, а на языке схем.

Увлекательно про F₁ написано в статье Суле

(Reply to this) (Parent) (Thread)

Лет 6-8 назад сие было очень модно, а сейчас
уже забыли в основном, за отсутсвием приложений.
Чего-то мне сомнительно, что оно опять выплывет.
По-моему.

Такие дела
Миша

(Reply to this) (Parent)