Посилання:Монада гиперпространств включения и ее алгебры / Т.Н. Радул // Український математичний журнал. — 1990. — Т. 42, № 6. — С. 806–811. — Бібліогр.: 12 назв. — рос.
Строится монада в смысле С. Эйленберга и Дж. Мура на категории компактов, определяемая функтором гиперпространств включения. Приводится описание категории алгебр этой монады, а также характеризация свободных алгебр.