Где найти материал о свободных монадах и косвободных комонадах?
Здравствуйте.
Не могу найти материал о свободых монадах и косвободных комонадах. Статьи, которые нахожу, начинаются теорией категорий и заканчиваются монадами, но конкретно о свободных монадах ничего нет, в чем отличие свободных монад и комонад от несвободных? Подскажите, пожалуйста, статьи или книжки, где можно прочитать про данную тему. Может быть, есть что-то о свободных структурах? Пока просто не могу понять, в чем суть слова "свободные" в данном контексте.