object-free category

Мат. безобъектная категория, моноид