Автофункторы?

[oskar_808]

Эндоморфизм в категории категорий -- эндофунктор

Comments

[nivanych]

> автофунктор

Нигде не видел такого слова, но думаю, что большинство народу, если встретит, то поймёт.

[maxim]

Теорема. Пи-тип автофунктор. Доказать конструктивно.