коанулятор

[koɑnuljɑtor] Іменник

Буква:К

Значення

  1. Коанулятор — у математиці, зокрема в теорії категорій, морфізм, що є двоїстим поняттям до коумноження в коалгебрі; об’єкт, що має структуру коалгебри відносно певної монади або комонади.

  2. Коанулятор — у програмуванні та теорії типів, конструкція, двоїста до анулятора, яка використовується для опису співпродуктів та кінцевих об’єктів у категорних моделях.

Правопис та відмінювання

Граматичні форми:

н. коанулятор, р. коанулятора, д. коануляторові, з. коанулятор, о. коанулятором, м. коануляторі, к. коануляторе

Більше записів