1. (математика) Алгебрична структура, двоїста до алгебри Гопфа; векторний простір, наділений сумісними операціями ко множення та ко одиниці, що застосовується в теорії категорій, гомологічній алгебрі та топології.
2. (програмування) У функційному програмуванні — структура даних, яка є двоїстою до алгебричної структури типу “алгебра” і використовується для інкапсуляції способу її породження або аналізу, часто для роботи з безкінечними потоками даних або рекурсивними структурами.