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