В логической семиотике функтор, посредством которого из высказываний (семантическая категория аргументобразуется новое, более сложное высказывание (вновь образуемая семантическая категория), называют: